Sandro 0273fa95af Merge pull request #141484 from r-ryantm/auto-update/python38Packages.google-cloud-org-policy ... python38Packages.google-cloud-org-policy: 1.0.2 -> 1.1.0		2021-10-13 12:20:58 +02:00
..
applications	Merge pull request #141440 from r-ryantm/auto-update/mkgmap	2021-10-13 10:47:11 +02:00
build-support
common-updater
data
desktops
development	Merge pull request #141484 from r-ryantm/auto-update/python38Packages.google-cloud-org-policy	2021-10-13 12:20:58 +02:00
games
misc	Merge pull request #141281 from AndersonTorres/new-zesarux	2021-10-12 21:14:53 +02:00
os-specific	Merge pull request #140415 from arkivm/mce-inject	2021-10-12 23:12:15 +02:00
pkgs-lib
servers	Merge pull request #141174 from chekoopa/mycorrhiza-init	2021-10-12 23:35:34 +02:00
shells
stdenv
test
tools	coq2html: 1.2 → 1.3	2021-10-13 10:15:05 +02:00
top-level	coq_8_14: init at 8.14+rc1	2021-10-13 10:44:09 +02:00