John Wiegley 01fc89623b pkgs.boogie: 2.4.1 -> 2.15.7 ... Builds newer than 2.4.1 require buildDotnetModule instead of buildDotnetPackage.		2022-08-02 10:24:21 -07:00
..
applications	Merge pull request #184429 from bryanasdev000/jrnl-up-fix	2022-08-02 16:02:58 +01:00
build-support	buildRustCrate: Add support for standard library deps	2022-08-01 15:34:49 -04:00
common-updater
data	Merge pull request #184000 from r-ryantm/auto-update/flat-remix-gnome	2022-08-02 19:56:19 +08:00
desktops	gnome.accerciser: 3.38.0 -> 3.40.0	2022-08-02 16:51:36 +02:00
development	pkgs.boogie: 2.4.1 -> 2.15.7	2022-08-02 10:24:21 -07:00
games	Merge pull request #184598 from wegank/treewide-fix-platforms	2022-08-02 15:57:56 +02:00
misc	tpm2-pkcs11: fix build	2022-08-03 00:08:57 +08:00
os-specific	Merge pull request #184654 from ncfavier/nvidia-settings-390	2022-08-02 10:35:53 -03:00
pkgs-lib
servers	gitlab-pages: 1.59.0 -> 1.62.0	2022-08-02 15:48:07 +02:00
shells	Merge pull request #184419 from r-ryantm/auto-update/oil	2022-08-02 09:53:17 -03:00
stdenv	Merge pull request #183967 from Ericson2314/small-stdenv-cleanup	2022-08-01 14:37:42 +02:00
test
tools	abcmidi: 2022.06.14 -> 2022.08.01	2022-08-02 16:36:40 +00:00
top-level	pkgs.boogie: 2.4.1 -> 2.15.7	2022-08-02 10:24:21 -07:00