diff options
| author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2012-04-13 14:53:56 +0000 |
|---|---|---|
| committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2012-04-13 14:53:56 +0000 |
| commit | 17cbe60a5bbaf99537ce52baf491b85cc7ee0077 (patch) | |
| tree | d1606bc3d956a96c6f1de4500c63d204002150d7 /pkgs/development/compilers | |
| parent | 47fcc276ae1f29db80c56315f6f6091226d44ae2 (diff) | |
| download | nixpkgs-17cbe60a5bbaf99537ce52baf491b85cc7ee0077.tar nixpkgs-17cbe60a5bbaf99537ce52baf491b85cc7ee0077.tar.gz nixpkgs-17cbe60a5bbaf99537ce52baf491b85cc7ee0077.tar.bz2 nixpkgs-17cbe60a5bbaf99537ce52baf491b85cc7ee0077.tar.lz nixpkgs-17cbe60a5bbaf99537ce52baf491b85cc7ee0077.tar.xz nixpkgs-17cbe60a5bbaf99537ce52baf491b85cc7ee0077.tar.zst nixpkgs-17cbe60a5bbaf99537ce52baf491b85cc7ee0077.zip | |
uhc upgrade
svn path=/nixpkgs/trunk/; revision=33775
Diffstat (limited to 'pkgs/development/compilers')
| -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 c15839ad11c..b7b2cb4cb62 100644 --- a/pkgs/development/compilers/uhc/default.nix +++ b/pkgs/development/compilers/uhc/default.nix @@ -3,12 +3,12 @@ }: stdenv.mkDerivation { - name = "uhc-svn-git20120405"; + name = "uhc-svn-git20120412"; src = fetchgit { url = "https://github.com/UU-ComputerScience/uhc.git"; - rev = "d6d75a131a36899ff2db2d8c9a4ae6601d7d0675"; - sha256 = "4117688bf1e4a892d8551c3bcc59c5ec5743842e6a67ec66d399f390fec05b4c"; + rev = "eef10f64d84bc0aa145121f2a61accea03b9bc76"; + sha256 = "c867d22423adb17396a28eef030c53f282b1443db2149aa7b8ab659ac7c18576"; }; postUnpack = "sourceRoot=\${sourceRoot}/EHC"; |