nixpkgs/pkgs/top-level
Vincent Laporte 985cfa7a8a
coqPackages.bignums: do not fail with Coq 8.5
The bignums library is part of the standard library
of Coq ≤ 8.6.
2017-11-13 08:42:51 +00:00
..
aliases.nix keepassxc: rename from keepassx-community 2017-11-08 08:48:54 +01:00
all-packages.nix coqPackages.bignums: do not fail with Coq 8.5 2017-11-13 08:42:51 +00:00
beam-packages.nix
darwin-packages.nix
default.nix
dotnet-packages.nix
emacs-packages.nix emacsPackages.font-lock-plus: init at 20170222.1755 2017-11-06 11:43:38 +08: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.camomile: 0.8.6 -> 0.8.7 2017-11-11 16:56:14 +00:00
perl-packages.nix perl-Config-Grammar: 1.11 -> 1.12 2017-11-11 18:15:30 +01: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 Fix homepage links (see #30636) 2017-11-11 17:36:48 +01:00
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix
release.nix
splice.nix Rename __targetPackages to targetPackages 2017-11-05 17:10:53 -05:00
stage.nix Rename __targetPackages to targetPackages 2017-11-05 17:10:53 -05:00