1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-19 03:47:13 -04:00
nixpkgs/pkgs/top-level
Peter Simons 3d479813f5 Merge pull request #18497 from aneeshusa/add-z3-dependency-for-cryptol
cryptol: Make Z3 available for REPL users
2016-09-11 01:15:58 +02:00
..
aliases.nix foomatic-filters: align attrname with pkgname 2016-08-26 08:45:16 +02:00
all-packages.nix cryptol: Make Z3 available for REPL users 2016-09-10 17:15:51 -04:00
default.nix
dotnet-packages.nix
emacs-packages.nix melpa: Add inherit-local, bump f.el 2016-09-10 11:25:21 -04:00
emscripten-packages.nix xmlmirror: move README.md to better place 2016-08-29 23:08:46 +02:00
guile-2-test.nix
haskell-packages.nix haskell.compiler.ghcHEAD: update to latest upstream (20160826). 2016-08-26 21:15:04 +02:00
impure.nix
lua-packages.nix treewide: Use explicit 'dev' references to glibc 2016-08-30 03:11:09 +03:00
make-tarball.nix
metrics.nix
node-packages-generated.nix
node-packages.json
node-packages.nix
perl-packages.nix perlPackages.MozillaLdap: Reference correct output of openldap 2016-09-07 13:00:56 +03:00
php-packages.nix php70Packages.v8: init at 0.1.0 2016-09-04 19:43:16 +02:00
platforms.nix
pure-packages.nix
python-packages.nix Merge pull request #18332 from offlinehacker/pkgs/pythonPackages/docker_compose/update/1.8.0 2016-09-10 11:13:56 +02:00
release-cross.nix
release-lib.nix release-lib: Remove unused allowTexliveBuilds option 2016-09-11 01:13:49 +03:00
release-python.nix
release-small.nix Fix #4210: Remove builderDefs 2016-08-31 11:34:46 +02:00
release.nix release.nix: tiny improvements on top of #18059 2016-08-28 18:18:44 +02:00
rust-packages.nix
stdenv.nix