diff options
author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2012-05-09 10:01:41 +0000 |
---|---|---|
committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2012-05-09 10:01:41 +0000 |
commit | 206c6b1bbbd19d1b2d5270abd23d4c9b092fe420 (patch) | |
tree | f696299d06682c7e3decdf1c1c2d1a34f10b89f3 /pkgs | |
parent | 5ff5c38cb67afa674bfe73e710c58321ce27e5f3 (diff) | |
download | nixlib-206c6b1bbbd19d1b2d5270abd23d4c9b092fe420.tar nixlib-206c6b1bbbd19d1b2d5270abd23d4c9b092fe420.tar.gz nixlib-206c6b1bbbd19d1b2d5270abd23d4c9b092fe420.tar.bz2 nixlib-206c6b1bbbd19d1b2d5270abd23d4c9b092fe420.tar.lz nixlib-206c6b1bbbd19d1b2d5270abd23d4c9b092fe420.tar.xz nixlib-206c6b1bbbd19d1b2d5270abd23d4c9b092fe420.tar.zst nixlib-206c6b1bbbd19d1b2d5270abd23d4c9b092fe420.zip |
upgraded uhc
svn path=/nixpkgs/trunk/; revision=34026
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/uhc/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/uhc/default.nix b/pkgs/development/compilers/uhc/default.nix index b7b2cb4cb628..8aa27674677f 100644 --- a/pkgs/development/compilers/uhc/default.nix +++ b/pkgs/development/compilers/uhc/default.nix @@ -3,12 +3,12 @@ }: stdenv.mkDerivation { - name = "uhc-svn-git20120412"; + name = "uhc-svn-git20120502"; src = fetchgit { url = "https://github.com/UU-ComputerScience/uhc.git"; - rev = "eef10f64d84bc0aa145121f2a61accea03b9bc76"; - sha256 = "c867d22423adb17396a28eef030c53f282b1443db2149aa7b8ab659ac7c18576"; + rev = "ab26d787657bb729d8a4f92ef5d067d9990f6ce3"; + sha256 = "66c5b6d95dc80a652f6e17476a1b18fbef4b4ff6199a92d033f0055526ec97ff"; }; postUnpack = "sourceRoot=\${sourceRoot}/EHC"; |