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

uhc: 1.1.9.3 -> 1.1.9.4

Browse Source
This commit is contained in:
Philipp Hausmann 2016-06-04 09:46:06 +02:00
parent 3f80f0149f
commit 5577e1a293
No known key found for this signature in database
GPG Key ID: 7D9D938B2A1BD86C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/uhc/default.nix
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";