Merge pull request #15971 from phile314/master

uhc: 1.1.9.3 -> 1.1.9.4
This commit is contained in:
Joachim Fasting 2016-06-07 14:51:11 +02:00
commit ed412d4c5e

View file

@ -4,14 +4,14 @@
let wrappedGhc = ghcWithPackages (hpkgs: with hpkgs; [fgl vector syb uulib network binary hashable uhc-util mtl transformers directory containers array process filepath shuffle uuagc] ); let wrappedGhc = ghcWithPackages (hpkgs: with hpkgs; [fgl vector syb uulib network binary hashable uhc-util mtl transformers directory containers array process filepath shuffle uuagc] );
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
version = "1.1.9.3"; version = "1.1.9.4";
name = "uhc-${version}"; name = "uhc-${version}";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "UU-ComputerScience"; owner = "UU-ComputerScience";
repo = "uhc"; repo = "uhc";
rev = "v${version}"; rev = "v${version}";
sha256 = "1r3mja77dqj2ncgp1d9nnc7dhp3gzrb1b1qvml3rq2321mn3m2ad"; sha256 = "1s84csk6zgzj09igxgdza7gb52jdn3jsr8lygl5xplshv8yzl34n";
}; };
postUnpack = "sourceRoot=\${sourceRoot}/EHC"; postUnpack = "sourceRoot=\${sourceRoot}/EHC";