Théo Zimmermann f4914d4eb4 bignums: init at various versions ... Bignums used to be part of the standard library of Coq. We provide a version for Coq 8.6, and one for Coq 8.7.		2017-11-05 16:59:23 +01:00
..
aliases.nix	postage: replaced by pgmanage-10.0.2	2017-11-03 00:14:00 +01:00
all-packages.nix	bignums: init at various versions	2017-11-05 16:59:23 +01:00
beam-packages.nix
darwin-packages.nix
default.nix
dotnet-packages.nix
emacs-packages.nix	icicles: 2014-11-06 -> 2017-10-28	2017-11-01 00:03:57 +01:00
emscripten-packages.nix
haskell-packages.nix	ghc: add 8.2.2-rc2	2017-11-04 20:02:31 +01:00
haxe-packages.nix
impure.nix
java-packages.nix
lua-packages.nix	luaPackages.mpack: fix sourceRoot	2017-10-31 23:47:16 +01:00
make-tarball.nix
metrics.nix
node-packages-generated.nix
node-packages.json
node-packages.nix	bower2nix: fix execution under nix-shell --pure	2017-10-30 18:23:45 +01:00
ocaml-packages.nix	ocamlPackages.sexplib: 0.9.2 -> 0.9.3	2017-11-04 17:09:50 +00:00
perl-packages.nix	treewide: abandon Google Code homepages	2017-11-03 18:52:28 +00:00
php-packages.nix	Merge pull request #31153 from jbboehr/fix/apcu-5.1.8-m	2017-11-03 00:19:52 +00:00
pure-packages.nix
python-packages.nix	Python: move expressions in python-modules to their own folders	2017-11-05 10:45:54 +01:00
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix
release.nix
splice.nix
stage.nix