Matthew Bauer 0421891aaa Merge pull request #47589 from vbgl/coq-coqprime-init ... coqPackages.coqprime: init at 8.7.2 & 8.8		2018-10-05 22:33:15 -05:00
..
applications	git: 2.19.0 -> 2.19.1 (CVE-2018-17456)	2018-10-05 18:36:08 +00:00
build-support	Merge pull request #47448 from kalbasit/nixpkgs_add-bazel-watcher	2018-10-04 00:00:47 +02:00
common-updater
data	gnome3: remove versionBranch attribute	2018-10-05 02:17:19 +02:00
desktops	gnome3: remove versionBranch attribute	2018-10-05 02:17:19 +02:00
development	Merge pull request #47589 from vbgl/coq-coqprime-init	2018-10-05 22:33:15 -05:00
games	brogue: 1.7.4 -> 1.7.5 (#47830)	2018-10-05 15:15:13 +02:00
misc	ghostscript: update hash (#47946)	2018-10-06 01:54:26 +02:00
os-specific	linux-hardkernel: 4.14.69-148 -> 4.14.73-149 (#47896)	2018-10-05 15:48:07 +02:00
servers	Merge pull request #47880 from pacien/patch-6	2018-10-05 10:32:59 +02:00
shells	elvish: provide the compiled version	2018-10-04 16:10:47 +02:00
stdenv	Merge pull request #47400 from obsidiansystems/paxctl-darwin-no-mass-rebuild	2018-09-26 15:52:31 -04:00
test	Merge branch 'master' into staging	2018-09-24 21:18:23 +02:00
tools	youtube-dl: 2018.09.26 -> 2018.10.05 (#47940)	2018-10-06 00:36:03 +02:00
top-level	Merge pull request #47589 from vbgl/coq-coqprime-init	2018-10-05 22:33:15 -05:00