Vincent Laporte b028b5f4ef coq-8.5: ease the selection of an older (patch level) version		2016-11-02 19:39:22 +01:00
..
applications	coq-8.5: ease the selection of an older (patch level) version	2016-11-02 19:39:22 +01:00
build-support	Merge pull request #20018 from adnelson/use_basename_docker	2016-11-01 12:29:28 +01:00
data	callHackage: make 'all-cabal-hashes' repository overridable	2016-11-01 18:35:19 +01:00
desktops	ksysguard: Add required qtwebkit dependency.	2016-11-01 20:54:22 +01:00
development	compcert: patch to build with Coq-8.5pl3	2016-11-02 19:23:15 +01:00
games	gnubg: fix build	2016-11-01 16:35:19 +01:00
misc	samsung-unified-linux-driver_1_00_37: fix build failing due to upstream change in 'cups'	2016-11-02 15:13:46 +00:00
os-specific	linux: 4.8.5 -> 4.8.6	2016-11-01 08:58:53 -04:00
servers	bind: update to 9.10.4-P4 to fix CVE-2016-8864	2016-11-01 22:16:26 +01:00
shells	oh-my-zsh: 2016-10-08 -> 2016-10-25	2016-10-25 14:29:36 -04:00
stdenv	Merge pull request #18660 from aneeshusa/add-override-attrs	2016-10-30 11:32:15 +01:00
test
tools	curl: 7.50.3 -> 7.51.0	2016-11-02 10:38:17 +01:00
top-level	coq: move out of ocamlPackages	2016-11-02 19:23:15 +01:00