nixpkgs/pkgs
Russell O'Connor cfc8538326 Updating coq and ssreflect to patch level 4.
svn path=/nixpkgs/trunk/; revision=34146
2012-05-16 22:04:02 +00:00
..
applications Updating coq and ssreflect to patch level 4. 2012-05-16 22:04:02 +00:00
build-support * Added Ubuntu 12.04. 2012-05-11 02:04:14 +00:00
data shared-mime-info-1.0 2012-03-31 21:29:12 +00:00
desktops Updated the Xfce URLs. 2012-05-15 21:45:35 +00:00
development Upgrade ghc stable snapshot to 7.4.2rc1. 2012-05-16 12:00:05 +00:00
games updated to a new version 2012-05-01 12:40:57 +00:00
lib * Work around some problems in tarball checks. Nix wants to open the 2012-05-13 19:10:57 +00:00
misc Sane backends URL seems to have changed. 2012-04-16 15:14:19 +00:00
os-specific BLCR fix arsert to include kernel versions 2.6.38.x 2012-05-16 08:44:20 +00:00
servers Fix openafs hash 2012-05-15 19:36:39 +00:00
shells * Bash 4.2.24. 2012-04-03 11:48:31 +00:00
stdenv * Sync with the trunk. 2012-05-02 13:19:07 +00:00
test
tools tftp-hpa 5.2. 2012-05-15 14:25:14 +00:00
top-level Upgrading default erlang to R15 and keeping R14 as an older option, removing extra random older versions. I assume they are not of interest. 2012-05-15 17:57:50 +00:00