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 Separate fix-point from config importing hacks and other impurities 2016-07-14 14:33:23 -07:00
dotnet-packages.nix dotnetPackages.GitVersionTree: init at 2013-10-01 2016-08-19 18:28:03 +01:00
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 Revert "lsh: remove last references" 2016-08-23 15:31:33 +00:00
haskell-packages.nix haskell.compiler.ghcHEAD: update to latest upstream (20160826). 2016-08-26 21:15:04 +02:00
impure.nix Separate fix-point from config importing hacks and other impurities 2016-07-14 14:33:23 -07:00
lua-packages.nix treewide: Use explicit 'dev' references to glibc 2016-08-30 03:11:09 +03:00
make-tarball.nix make tarball: refactor with fileContents 2016-08-01 18:40:50 +09:00
metrics.nix nixpkgs-metrics: Suppress build products 2016-03-24 18:06:46 +01:00
node-packages-generated.nix wscat: init at 1.0.1 (#17618) 2016-08-09 22:59:25 +02:00
node-packages.json wscat: init at 1.0.1 (#17618) 2016-08-09 22:59:25 +02:00
node-packages.nix bower2nix: 2.1.0 -> 3.0.1 2016-03-28 08:23:06 +01:00
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 platforms.nix: Switch ARMv7 to vfpv3-d16 2016-07-20 02:38:10 +03:00
pure-packages.nix Fairly complete set of packages for Pure 2015-05-26 17:51:07 +10:00
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-cross.nix: Build the bootstrap tools for ARM 2016-07-20 02:38:10 +03:00
release-lib.nix release-lib: Remove unused allowTexliveBuilds option 2016-09-11 01:13:49 +03:00
release-python.nix Replace ./../* with ../* in Nix expressions (#16414) 2016-06-22 10:39:50 +02:00
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 rust registry: 2016-08-10 -> 2016-08-23 2016-08-23 21:25:27 +02:00
stdenv.nix Replace ./../* with ../* in Nix expressions (#16414) 2016-06-22 10:39:50 +02:00