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

uhc: update to version 1.1.9.1

Browse Source
This commit is contained in:
Peter Simons 2015-06-11 11:06:41 +02:00
parent 9e04c74d95
commit 2f6c8127f5
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

@ -2,13 +2,13 @@
let wrappedGhc = ghcWithPackages (hpkgs: with hpkgs; [shuffle hashable mtl network uhc-util uulib] ); let wrappedGhc = ghcWithPackages (hpkgs: with hpkgs; [shuffle hashable mtl network uhc-util uulib] );
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
version = "1.1.9.0"; version = "1.1.9.1";
name = "uhc-${version}"; name = "uhc-${version}";
src = fetchgit { src = fetchgit {
url = "https://github.com/UU-ComputerScience/uhc.git"; url = "https://github.com/UU-ComputerScience/uhc.git";
rev = "0363bbcf4cf8c47d30c3a188e3e53b3f8454bbe4"; rev = "c4955d01089485cdcfec785fe2bbcdf2253bee4b";
sha256 = "0sa9b341mm5ggmbydc33ja3h7k9w65qnki9gsaagb06gkvvqc7c2"; sha256 = "1n2bfbzni2hwv90z3mgn0x3l3jwc7sy8ryk81p5mlvlis1wzxnq3";
}; };
postUnpack = "sourceRoot=\${sourceRoot}/EHC"; postUnpack = "sourceRoot=\${sourceRoot}/EHC";