John Wiegley f962f33593 Specify the coq version in a more consistent location		2017-12-21 01:24:35 -08:00
..
aliases.nix	pup: rename attr, go-pup -> pup	2017-12-20 01:04:01 +00:00
all-packages.nix	apache-directory-studio: init at 2.0.0.v20170904-M13	2017-12-21 08:53:36 +01:00
beam-packages.nix	erlangR17: removed outdated & unused version	2017-12-08 15:06:01 +01:00
coq-packages.nix	Specify the coq version in a more consistent location	2017-12-21 01:24:35 -08:00
darwin-packages.nix	Merge remote-tracking branch 'upstream/staging' into binutils-wrapper	2017-12-13 16:14:47 -05:00
default.nix
dotnet-packages.nix	dotnetPackages.SmartIrc4net: rehash source	2017-11-21 18:24:06 +00:00
emacs-packages.nix
emscripten-packages.nix
haskell-packages.nix	ghc: drop 8.2.1 version; we have 8.2.2 already	2017-12-20 09:17:46 +01:00
haxe-packages.nix
impure.nix
java-packages.nix
lua-packages.nix	luaPackages.luadbi: fix darwin build	2017-12-09 11:54:40 +00:00
make-tarball.nix	make-tarball.nix: Fix <nixpkgs> check	2017-12-07 16:00:09 +01:00
metrics.nix	nixpkgs.metrics: --show-trace into the log	2017-11-25 07:07:27 +01:00
ocaml-packages.nix	ocamlPackages.cairo2: 0.4.6 -> 0.5	2017-12-16 12:14:35 +01:00
perl-packages.nix	perl-boolean: 0.45 -> 0.46	2017-12-19 13:02:30 +01:00
php-packages.nix	phpPackages.php-cs-fixer: 2.8.3 → 2.9.0	2017-12-13 05:00:36 +01:00
pure-packages.nix
python-packages.nix	Merge pull request #32902 from lsix/update_pytestquickcheck	2017-12-21 01:10:14 +00:00
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix
release.nix	Add clang multilib variants (x64_64-only, 64/32bit), basic multilib tests	2017-12-05 07:17:14 -06:00
splice.nix	top-level: Fix splicing, again	2017-12-10 17:01:23 -05:00
stage.nix