Michael Raskin d03599f8ce Adding TPTP ...

svn path=/nixpkgs/trunk/; revision=27468

2011-06-15 10:35:18 +00:00

..

all-packages.nix

Adding TPTP

2011-06-15 10:35:18 +00:00

guile-2-test.nix

guile-2-test: Update to 2.0.

2011-02-22 13:39:56 +00:00

haskell-packages.nix

Added smallcheck.

2011-06-07 14:23:01 +00:00

make-tarball.nix

* Check eval-release.nix.

2010-08-19 14:33:44 +00:00

mingw.nix

* Remove execute permission.

2006-09-11 13:37:46 +00:00

perl-packages.nix

* Enable https support in Net::Amazon::EC2.

2011-05-12 10:52:11 +00:00

platforms.nix

Revert "Make kernel work for me". Committed this by accident.

2010-09-18 16:22:04 +00:00

python-packages.nix

* eventlet updated to 0.9.16.

2011-06-09 17:10:59 +00:00

release-cross.nix

Let Hydra cross-build more stuff for GNU.

2011-06-12 21:53:56 +00:00

release-lib.nix

Updating from trunk

2010-08-07 20:14:04 +00:00

release.nix

Add 2.6.37 and 2.6.38 to release.nix

2011-04-18 17:07:59 +00:00