3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/top-level
Marco Maggesi 0430167083 Update Coq
svn path=/nixpkgs/trunk/; revision=24597
2010-11-04 11:24:27 +00:00
..
all-packages.nix Update Coq 2010-11-04 11:24:27 +00:00
guile-2-test.nix Remove another reference to attribute `guileLib'. 2010-09-06 15:36:41 +00:00
haskell-packages.nix Added a few Haskell packages as submitted by Ilya Cassina. 2010-10-13 21:18:35 +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 Revert "Make kernel work for me". Committed this by accident. 2010-09-18 16:22:04 +00:00
python-packages.nix Fixed pysvn mis-detection of the location of libpyton2.7.dylib on Darwin. 2010-10-29 14:46:32 +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 * Add xwininfo to the channel. 2010-11-03 22:14:13 +00:00