John Wiegley 360234dab6 coq_8_6: new package, based on Coq 8.6rc1		2016-12-13 07:27:15 -08:00
..
applications	coq_8_6: new package, based on Coq 8.6rc1	2016-12-13 07:27:15 -08:00
build-support	linkFarm: prefer local build	2016-12-09 11:26:53 +01:00
data	roboto: 2.134 -> 2.135	2016-12-09 10:16:17 -02:00
desktops	gnome3*.devhelp: add missing gschemas	2016-12-13 09:18:49 +01:00
development	rPackages.DescTools: unbreak build outside of Linux. (#20787)	2016-12-13 16:25:44 +01:00
games	endless sky: init at 0.9.4	2016-12-11 08:57:35 +01:00
misc	urbit: 2016-06-02 -> 0.4 (#20922)	2016-12-13 15:43:02 +01:00
os-specific	Merge pull request #21118 from grahamc/fix-rsa-build-failure	2016-12-13 09:15:50 -05:00
servers	knot-dns: init at 2.3.3	2016-12-13 15:31:29 +01:00
shells	zsh: 5.2 -> 5.3	2016-12-12 17:48:18 -05:00
stdenv	top-level: Allow manually specifying a stdenv, and fix stdenv tests	2016-12-03 17:21:07 -08:00
test
tools	youtube-dl: 2016.12.01 -> 2016.12.12 (#21122)	2016-12-13 14:59:49 +01:00
top-level	coq_8_6: new package, based on Coq 8.6rc1	2016-12-13 07:27:15 -08:00