Steven Keuchel 2796baace8 coqPackages_8_17.iris: init at 4.0.0		2023-08-02 22:17:26 +02:00
..
applications	Merge pull request #246815 from r-ryantm/auto-update/veryfasttree	2023-08-02 21:56:37 +02:00
build-support	Revert "Update JAX"	2023-08-01 21:23:27 -06:00
common-updater
data	Merge pull request #246809 from khaneliman/catppuccin-sddm-corners	2023-08-02 20:58:11 +02:00
desktops	Merge pull request #246386 from hercules-ci/lib-getExe-dont-make-name-assumption	2023-08-02 20:05:52 +02:00
development	coqPackages_8_17.iris: init at 4.0.0	2023-08-02 22:17:26 +02:00
games	unciv: 4.7.8-patch1 -> 4.7.11	2023-08-01 09:01:22 +00:00
misc	Merge pull request #227947 from NickCao/uboot	2023-08-02 17:38:25 +02:00
os-specific	Merge pull request #246386 from hercules-ci/lib-getExe-dont-make-name-assumption	2023-08-02 20:05:52 +02:00
pkgs-lib
servers	Merge pull request #240683 from neosimsim/cockroachdb-use-pre-build-binaries	2023-08-02 22:03:54 +02:00
shells	nix-your-shell: 1.1.1 -> 1.3.0	2023-08-01 17:00:38 -07:00
stdenv
test
tools	Merge pull request #246814 from r-ryantm/auto-update/frp	2023-08-02 21:55:20 +02:00
top-level	Merge pull request #240683 from neosimsim/cockroachdb-use-pre-build-binaries	2023-08-02 22:03:54 +02:00