Théo Zimmermann a864b59ef1 coqPackage.topology: 8.12.0 -> 9.0.0 ... First release with Zorns-lemma and Topology in a monorepo. Each individual package is built with Dune.		2021-08-22 16:11:42 +02:00
..
applications	Merge pull request #134154 from r-ryantm/auto-update/mopidy	2021-08-22 15:18:16 +02:00
build-support	dhallToNix: Permit inputs referring to derivations (#134459)	2021-08-21 19:25:01 -07:00
common-updater
data
desktops	gnome.tali: 40.1 -> 40.2	2021-08-22 14:47:18 +02:00
development	coqPackage.topology: 8.12.0 -> 9.0.0	2021-08-22 16:11:42 +02:00
games
misc	betterlockscreen: 4.0.1 -> 4.0.3	2021-08-22 11:36:31 +02:00
os-specific	Merge #135008: linux_*_hardened: update (fix build)	2021-08-22 11:44:05 +02:00
pkgs-lib
servers
shells	elvish: 0.15.0 -> 0.16.1	2021-08-22 13:07:36 +03:00
stdenv
test
tools	Merge pull request #135147 from r-ryantm/auto-update/tor	2021-08-22 10:48:46 +02:00
top-level	mail-notification: remove	2021-08-22 11:23:56 +02:00