diff options
| author | Joachim Fasting <joachifm@users.noreply.github.com> | 2016-06-07 14:51:11 +0200 |
|---|---|---|
| committer | Joachim Fasting <joachifm@users.noreply.github.com> | 2016-06-07 14:51:11 +0200 |
| commit | ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4 (patch) | |
| tree | 2ce787886a9dcf3278610d5bb71c2780226c2e5b /pkgs | |
| parent | bdc494a0279269d1f178f28a2a7548ac954de50e (diff) | |
| parent | 5577e1a293bb3b15be467b21a9fb6f1febbe260d (diff) | |
| download | nixlib-ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4.tar nixlib-ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4.tar.gz nixlib-ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4.tar.bz2 nixlib-ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4.tar.lz nixlib-ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4.tar.xz nixlib-ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4.tar.zst nixlib-ed412d4c5eedf65b03e76df4cdc44d59d5ae18a4.zip | |
Merge pull request #15971 from phile314/master
uhc: 1.1.9.3 -> 1.1.9.4
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/compilers/uhc/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/uhc/default.nix b/pkgs/development/compilers/uhc/default.nix index df79b0ba70ee..d20057916805 100644 --- a/pkgs/development/compilers/uhc/default.nix +++ b/pkgs/development/compilers/uhc/default.nix @@ -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] ); in stdenv.mkDerivation rec { - version = "1.1.9.3"; + version = "1.1.9.4"; name = "uhc-${version}"; src = fetchFromGitHub { owner = "UU-ComputerScience"; repo = "uhc"; rev = "v${version}"; - sha256 = "1r3mja77dqj2ncgp1d9nnc7dhp3gzrb1b1qvml3rq2321mn3m2ad"; + sha256 = "1s84csk6zgzj09igxgdza7gb52jdn3jsr8lygl5xplshv8yzl34n"; }; postUnpack = "sourceRoot=\${sourceRoot}/EHC"; |