John Wiegley 382badfefb coqPackages.bedrock: new expression		2014-10-11 16:22:15 -05:00
..
applications	awesome: generate manpages	2014-10-11 21:56:50 +02:00
build-support
data
desktops
development	coqPackages.bedrock: new expression	2014-10-11 16:22:15 -05:00
games
misc
os-specific	Merge pull request #4402 from NixOS/udisks-1.0.5	2014-10-11 14:06:16 +02:00
servers	Merge pull request #3960 from flosse/prosody-service	2014-10-11 23:10:05 +02:00
shells
stdenv
test
tools	remove pythonPackages.ssl reference	2014-10-11 20:29:17 +02:00
top-level	coqPackages.bedrock: new expression	2014-10-11 16:22:15 -05:00