Ben Siraphob 5ef752563a Merge pull request #169355 from vbgl/coq-verdi-20211026 ... coqPackages.Verdi: 20210524 → 20211026		2022-04-20 06:33:30 +00:00
..
applications	Merge pull request #169200 from sikmir/mle	2022-04-20 05:58:24 +00:00
build-support
common-updater
data
desktops
development	Merge pull request #169355 from vbgl/coq-verdi-20211026	2022-04-20 06:33:30 +00:00
games	cudaPackages.cudnn: migrate to redist cuda, fix missing zlib (#168748)	2022-04-19 20:52:52 +02:00
misc
os-specific
pkgs-lib
servers	Merge pull request #169323 from n0emis/netbox-v3.2.1	2022-04-20 00:42:43 +02:00
shells
stdenv
test
tools	pulumi-bin: 3.28.0 -> 3.29.1	2022-04-19 15:43:56 -07:00
top-level	ocamlPackages.brisk-reconciler: init unstable-2020-12-02	2022-04-20 07:22:10 +02:00