swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 04:49:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

uhc: Update to 1.1.9.2

Browse source
This commit is contained in:
Philipp Hausmann 2015-11-08 12:24:19 +01:00
parent 7eea66cabe
commit 4030070e40
No known key found for this signature in database
GPG key ID: 7D9D938B2A1BD86C
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
pkgs/development/compilers/uhc/default.nix
View file

@ -6,13 +6,13 @@ in stdenv.mkDerivation rec {
# The commits "Fixate/tag v..." are the released versions.
# Ignore the "bumped version to ...." commits, they do not
# correspond to releases.
version = "1.1.9.1";
version = "1.1.9.2";
name = "uhc-${version}";
src = fetchgit {
url = "https://github.com/UU-ComputerScience/uhc.git";
rev = "ce93d01486972c994ea2bbbd3d43859911120c39";
sha256 = "1y670sc6ky74l3msayzqjlkjv1kpv3g35pirsq3q79klzvnpyj2x";
rev = "292d259113b98c32154a5be336875751caa5edbc";
sha256 = "1f462xq9ilkp9mnxm8hxhh1cdwps5d0hxysyibxryk32l7hh53cz";
};
postUnpack = "sourceRoot=\${sourceRoot}/EHC";
@ -51,6 +51,5 @@ in stdenv.mkDerivation rec {
# support the -static flag and thus breaks the build.
platforms = ["x86_64-linux"];
broken = true; # http://hydra.cryp.to/build/1344015/log/raw
};
}