John Wiegley 3876b4dd94 coq, coqPackages: Roll default back to 8.4, until ssreflect is building		2016-12-22 14:10:43 -08:00
..
applications	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect	2016-12-22 10:35:56 -08:00
build-support	make-initrd: create reproducible initrds	2016-12-20 14:00:04 +01:00
data	unscii: init at 1.1	2016-12-15 21:29:13 +01:00
desktops	gnome2.gnome_python_desktop: init from gnome2.python_rsvg	2016-12-22 01:35:11 +03:00
development	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect	2016-12-22 10:35:56 -08:00
games	gnuchess and xboard definitely work on darwin	2016-12-22 17:00:33 +01:00
misc	wineUnstable: 1.9.23 -> 2.0-rc2	2016-12-22 16:06:18 +02:00
os-specific	linux:3.18.44 -> 3.18.45	2016-12-21 21:08:47 -05:00
servers	apacheHttpdPackages.mod_perl: init at 2.0.10	2016-12-22 13:36:44 +01:00
shells	zsh: 5.3 -> 5.3.1	2016-12-21 21:21:59 +01:00
stdenv	top-level: avoid another assert false while we're at it	2016-12-15 17:09:46 -05:00
test
tools	Merge pull request #21348 from dochang/lnav	2016-12-21 20:35:54 -05:00
top-level	coq, coqPackages: Roll default back to 8.4, until ssreflect is building	2016-12-22 14:10:43 -08:00