nixpkgs/pkgs/top-level
Austin Seipp a6813ca62d nixpkgs: add lean-20150328, a theorem prover.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:47:39 -05:00
..
all-packages.nix nixpkgs: add lean-20150328, a theorem prover. 2015-03-28 01:47:39 -05:00
emacs-packages.nix emacs: ghc-mod: add the binary to user environment 2015-03-26 12:58:39 +00:00
go-packages.nix Whoops, spurious dependency 2015-03-26 23:40:40 -04:00
guile-2-test.nix
haskell-defaults.nix haskell-defaults.nix: "xhtml" is a core library in GHC 7.8.x 2015-01-28 12:43:46 +01:00
haskell-ng.nix Enable static libraries in "gmp" to allow static linking of Haskell programs. 2015-02-13 22:18:27 +01:00
haskell-packages.nix Haskell llvm-general 3.4.4.0 requires LLVM==3.4.* 2015-03-22 01:13:15 +00:00
lua-packages.nix Merge pull request #6412 from olavks/lua-cjson 2015-02-26 10:01:58 +01:00
make-tarball.nix Only test evaluation on supported platforms 2015-03-06 14:07:45 +01:00
node-packages-generated.nix nodePackages: add a few packages, remove deprecated, regenerate, fix them 2015-02-23 13:29:50 +01:00
node-packages.json nodePackages: add a few packages, remove deprecated, regenerate, fix them 2015-02-23 13:29:50 +01:00
node-packages.nix nodePackages: add a few packages, remove deprecated, regenerate, fix them 2015-02-23 13:29:50 +01:00
perl-packages.nix Remove unnecessary propagatedNativeBuildInputs from AppSqitch 2015-03-19 09:02:46 -03:00
php-packages.nix phpPackages: add redis and composer 2015-01-24 23:13:19 +01:00
platforms.nix Add comment explaining the rpi2 gcc flags. 2015-03-05 10:00:21 +00:00
python-packages-generated.nix
python-packages.json python-html2text: add package 2015-01-26 10:36:30 +00:00
python-packages.nix Merge pull request #6994 from oxij/trivial-package-fixes 2015-03-27 11:09:16 +01:00
release-cross.nix
release-lib.nix Rename scrubDrv -> hydraJob and make it more effective 2015-03-20 19:46:18 +01:00
release-python.nix Adds a new package: cherrytree - A hierarchical note taking application 2015-01-31 02:17:00 +01:00
release-small.nix release-lib: Simplify 2015-03-20 19:37:55 +01:00
release.nix pinentry: fix build /cc wkennington 2015-03-26 10:07:05 +01:00