Théo Zimmermann 7136060765 mkCoqDerivation: use COQMF_COQLIB for dev versions of Coq		2021-09-08 15:15:28 +02:00
..
applications	Merge pull request #137044 from VergeDX/gnome-network-displays	2021-09-08 14:31:30 +03:00
build-support	mkCoqDerivation: use COQMF_COQLIB for dev versions of Coq	2021-09-08 15:15:28 +02:00
common-updater
data	Merge master into haskell-updates	2021-09-05 00:06:37 +00:00
desktops	gnome.gnome-boxes: add qemu to path	2021-09-05 17:38:12 +03:00
development	coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0	2021-09-08 13:15:48 +02:00
games	Merge pull request #136905 from Artturin/freecivqt	2021-09-07 00:22:51 +03:00
misc	nodePackages.rust-analyzer: 0.2.727 -> 0.2.735	2021-09-08 16:57:42 +09:00
os-specific	Merge pull request #136982 from ymatsiuk/upower	2021-09-08 11:53:18 +02:00
pkgs-lib
servers	Merge pull request #136388 from sumnerevans/synapse-1.42	2021-09-08 11:05:47 +02:00
shells	Merge pull request #136614 from symphorien/zsh-tz-completion	2021-09-03 13:04:07 -06:00
stdenv
test
tools	Merge pull request #137086 from zimbatm/foreman-0.87.2	2021-09-08 11:59:16 +02:00
top-level	Merge pull request #135667 from thomasSDK/3-perlPackages	2021-09-08 12:10:08 +02:00