Peter Simons 340d4a6ddd pkgs/applications/science/logic/prover9: initial version ... svn path=/nixpkgs/trunk/; revision=23446		2010-08-26 11:37:05 +00:00
..
all-packages.nix	pkgs/applications/science/logic/prover9: initial version	2010-08-26 11:37:05 +00:00
guile-2-test.nix	guile-2-test: Remove `guile_1_9_coverage'.	2010-07-04 21:53:01 +00:00
haskell-packages.nix	Applied (with edits) the patch provided by James Cook to add the	2010-08-25 13:08:32 +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	update some perl packages	2010-08-09 19:29:06 +00:00
platforms.nix	Making the sheevaplug kernel have nfs4 server and client	2010-06-12 17:42:17 +00:00
python-packages.nix	* Added libcloud.	2010-08-23 10:17:30 +00:00
release-cross.nix	Attempt to cross-build Nix for GNU.	2010-06-22 13:02:31 +00:00
release-lib.nix	Add recurseForRelease flag	2010-08-03 14:02:42 +00:00
release.nix	added libxpdf and pdf2xml	2010-08-25 14:25:51 +00:00