Vincent Laporte 3f41f6c5fa coqPackages.equations: enable for Coq 8.8		2018-07-08 11:13:27 +00:00
..
applications	Merge pull request #43148 from ttuegel/bugfix/firefox-browserpass-output	2018-07-08 12:56:26 +02:00
build-support	dockerTools.examples: explicitly set image tag to fix docker-tools tests	2018-07-06 16:38:42 +02:00
common-updater
data
desktops	Merge pull request #42972 from r-ryantm/auto-update/pcmanfm-qt	2018-07-08 01:04:11 +02:00
development	coqPackages.equations: enable for Coq 8.8	2018-07-08 11:13:27 +00:00
games
misc	termtekst: init -> 1.0 (#43045)	2018-07-06 21:55:18 +02:00
os-specific
servers	knot_resolver: support prefill module in extraFeatures	2018-07-08 09:21:42 +02:00
shells
stdenv
test
tools	Merge pull request #42971 from r-ryantm/auto-update/pdd	2018-07-08 00:38:50 +02:00
top-level	lua*Packages.lfs: init at 1.7.0.2	2018-07-08 09:19:43 +02:00