nixpkgs/pkgs
Marco Maggesi afbb01c90d Add expression for Coq 8.3 beta
svn path=/nixpkgs/trunk/; revision=21734
2010-05-11 20:14:46 +00:00
..
applications Add expression for Coq 8.3 beta 2010-05-11 20:14:46 +00:00
build-support Making the ld-wrapper2.sh much faster, when having lots of '-L' parameters, 2010-05-03 19:59:51 +00:00
configs/etc d'oh, don't actually gzip it 2006-03-08 19:25:44 +00:00
data man-pages-3.24 2010-04-12 08:57:45 +00:00
desktops Upgrade phonon to 4.4.1 2010-05-08 17:03:07 +00:00
development Added a few new Haskell libraries. 2010-05-11 19:58:47 +00:00
games update to 1.1.1 2010-05-03 23:14:28 +00:00
lib * Make stack traces more consistent. 2010-05-07 15:13:43 +00:00
misc remove duplication in derivation adding tags to source 2010-05-09 14:17:24 +00:00
os-specific Fixing nfsUtils rpc.statd about pointing to the sm-notify binary. It pointed to 2010-05-09 19:14:06 +00:00
servers * Revert to Samba 3.3.3 because never versions (including 3.3.12) 2010-05-04 15:26:34 +00:00
shells Add GNU SASL, GNU GSS-API, and GNU Rush. 2010-04-26 08:59:25 +00:00
stdenv Move "fetchurl restricted" code to requireFile. 2010-05-03 09:13:17 +00:00
test Add a new way to handle option sets. 2008-08-05 17:16:35 +00:00
tools Adding an assertion for pk2cmd to build only on linux. 2010-05-11 16:17:35 +00:00
top-level Add expression for Coq 8.3 beta 2010-05-11 20:14:46 +00:00