NixOS Discourse

PRs already reviewed

drewrisinger October 12, 2020, 2:12pm 245

Merge: vscode/vscodium: split update scripts by samuela · Pull Request #97938 · NixOS/nixpkgs · GitHub. approved by vscode maintainers.

OPNA2608 October 13, 2020, 8:50pm 246

Could use someone else’s opinion on the let’d library derivations at most, otherwise LGTM.

https://github.com/NixOS/nixpkgs/pull/99572

turion October 15, 2020, 5:24pm 247

Merge: agda-packages: add functional-linear-algebra library at v0.1 by ryanorendorff · Pull Request #100466 · NixOS/nixpkgs · GitHub

turion October 16, 2020, 7:30am 248

Merge: Bump VSCode version by turion · Pull Request #98088 · NixOS/nixpkgs · GitHub

samuela October 17, 2020, 9:50pm 249

merge: dafny: pin z3 and Boogie version by layus · Pull Request #81608 · NixOS/nixpkgs · GitHub

bbigras October 20, 2020, 3:41pm 250

merge:
~~https://github.com/NixOS/nixpkgs/pull/100452~~

xfix October 22, 2020, 8:22am 251

~~merge: https://github.com/NixOS/nixpkgs/pull/101286~~

GTrunSec October 22, 2020, 8:41am 252

~~merge: https://github.com/NixOS/nixpkgs/pull/101113~~

j-k October 22, 2020, 9:15am 253

~~merge: https://github.com/NixOS/nixpkgs/pull/95320~~
done

omasanori October 22, 2020, 11:09am 254

done:
https://github.com/NixOS/nixpkgs/pull/101222

turion October 22, 2020, 12:19pm 255

Merge: agdaPackages.standard-library: 1.3 -> 1.4 by turion · Pull Request #98199 · NixOS/nixpkgs · GitHub

Emantor October 23, 2020, 7:01am 256

merge:
https://github.com/NixOS/nixpkgs/pull/98748

buckley October 23, 2020, 1:46pm 257

merge: brave: 1.12.112 -> 1.15.76 by buckley310 · Pull Request #100685 · NixOS/nixpkgs · GitHub

pniedzwiedzinski October 23, 2020, 5:04pm 258

merge: amfora: Add desktop file by pniedzwiedzinski · Pull Request #100294 · NixOS/nixpkgs · GitHub

benny October 24, 2020, 8:28am 260

merge: barrier: 2.3.2 -> 2.3.3 by jb55 · Pull Request #99494 · NixOS/nixpkgs · GitHub

endocrimes October 24, 2020, 6:24pm 261

TIL about this thread, there’s a few ready for merge PRs I’ve reviewed recently:

AndersonTorres October 26, 2020, 1:40pm 262

Virtualbox is a different beast. Maybe pinging the original maintainers will be necessary.

blaggacao October 26, 2020, 5:40pm 263

https://github.com/NixOS/nixpkgs/pull/100048

oyren October 27, 2020, 1:36pm 264

merge: portfolio: 0.48.1 -> 0.49.0 by oyren · Pull Request #101746 · NixOS/nixpkgs · GitHub

omasanori October 29, 2020, 7:58am 266

done:
https://github.com/NixOS/nixpkgs/pull/99480

Hosted by Flying Circus.