Théo Zimmermann 5f04a61d4f coq: default version is the one of coqPackages ... This clean-up is supposed to avoid the mistake made in 83a50c2 and fixed in 6b8da80 in the future.		2017-05-16 13:52:53 +02:00
..
applications	terragrunt: update sha256	2017-05-16 11:28:09 +08:00
build-support	debian: 8.7 -> 8.8	2017-05-08 16:02:38 +02:00
common-updater
data	iana-etc: 20170417 -> 20170512	2017-05-13 07:21:06 +01:00
desktops	Python: replace requests2 with requests tree-wide	2017-05-07 12:56:09 +02:00
development	shibboleth: Add Myself as a Maintainer (#25817)	2017-05-16 10:11:55 +01:00
games	stepmania: 5.0.10 -> 5.0.12	2017-05-14 02:36:04 +03:00
misc	pcsxr: use wrapGAppsHook	2017-05-11 20:34:42 +01:00
os-specific	linux_rpi: 1.20170303 -> 1.20170427	2017-05-15 11:14:59 +03:00
servers	telegraf: 1.2.1 -> 1.3.0	2017-05-16 06:58:58 +01:00
shells	fish: resolve NixOS-related initialization problems	2017-05-10 10:16:10 +01:00
stdenv	darwin.make-bootstrap-tools.test: fix build breakage	2017-05-05 21:34:28 -04:00
test
tools	tor: 0.3.0.6 -> 0.3.0.7	2017-05-16 11:14:14 +02:00
top-level	coq: default version is the one of coqPackages	2017-05-16 13:52:53 +02:00