public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

upgraded uhc

Browse Source 
svn path=/nixpkgs/trunk/; revision=34026
This commit is contained in:
Mathijs Kwik 2012-05-09 10:01:41 +00:00
parent 5ff5c38cb6
commit 206c6b1bbb
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/compilers/uhc/default.nix
View File

@ -3,12 +3,12 @@
}: }:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "uhc-svn-git20120412"; name = "uhc-svn-git20120502";
src = fetchgit { src = fetchgit {
url = "https://github.com/UU-ComputerScience/uhc.git"; url = "https://github.com/UU-ComputerScience/uhc.git";
rev = "eef10f64d84bc0aa145121f2a61accea03b9bc76"; rev = "ab26d787657bb729d8a4f92ef5d067d9990f6ce3";
sha256 = "c867d22423adb17396a28eef030c53f282b1443db2149aa7b8ab659ac7c18576"; sha256 = "66c5b6d95dc80a652f6e17476a1b18fbef4b4ff6199a92d033f0055526ec97ff";
}; };
postUnpack = "sourceRoot=\${sourceRoot}/EHC"; postUnpack = "sourceRoot=\${sourceRoot}/EHC";