Vincent Laporte b212125b54 Merge pull request #32250 from vbgl/coq-clean ... coq_HEAD, coqPackages_8_4: remove		2017-12-11 18:13:24 +01:00
..
applications	Merge pull request #32250 from vbgl/coq-clean	2017-12-11 18:13:24 +01:00
build-support	Merge pull request #31182 from yegortimoshenko/chroot-user/c-rewrite	2017-12-10 08:20:59 +00:00
common-updater	common-updater-script: fix error handling	2017-05-19 17:14:43 +03:00
data	zeal: 0.4.0 -> 0.5.0	2017-12-11 08:06:01 +08:00
desktops	Merge older staging	2017-12-11 09:49:56 +01:00
development	Merge pull request #32250 from vbgl/coq-clean	2017-12-11 18:13:24 +01:00
games	Merge older staging	2017-12-11 09:49:56 +01:00
misc	U-Boot: Adds Orange Pi PC build	2017-12-11 19:05:15 +02:00
os-specific	linux-testing: 4.15-rc2 -> 4.15-rc3	2017-12-11 10:36:51 +01:00
servers	powerdns: 4.0.4 -> 4.0.5 for CVE-2017-15091	2017-12-11 14:52:11 +01:00
shells	nix-bash-completions: lazy load aware install	2017-12-10 14:07:13 +00:00
stdenv	stdenv: fix use of config-specified allowInsecurePredicate	2017-12-09 20:43:30 +00:00
test	treewide: Use *Platform.extensions	2017-09-13 11:16:10 -04:00
tools	Merge pull request #32560 from manveru/calamares	2017-12-11 14:13:38 +00:00
top-level	Merge pull request #32250 from vbgl/coq-clean	2017-12-11 18:13:24 +01:00