Michael Raskin a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver ... svn path=/nixpkgs/trunk/; revision=24975		2010-12-05 17:28:41 +00:00
..
all-packages.nix	Adding CVC3 satisfiability modulo theory (SMT) solver	2010-12-05 17:28:41 +00:00
guile-2-test.nix	Remove another reference to attribute `guileLib'.	2010-09-06 15:36:41 +00:00
haskell-packages.nix	Added multiplate.	2010-11-22 15:19:23 +00:00
make-tarball.nix	* Check eval-release.nix.	2010-08-19 14:33:44 +00:00
mingw.nix
perl-packages.nix	add Crypt::RandPasswd perl package	2010-12-03 09:51:33 +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	* Added python-magic.	2010-11-18 16:58:18 +00:00
release-cross.nix	Removing coreutils_real from release-cross.	2010-09-13 21:16:10 +00:00
release-lib.nix	Add recurseForRelease flag	2010-08-03 14:02:42 +00:00
release.nix	Version bump for leksah (plus dependencies). Now works with ghc-6.12.3.	2010-11-17 14:48:12 +00:00