uhc: upgraded to latest version

svn path=/nixpkgs/trunk/; revision=31646
This commit is contained in:
Peter Simons 2012-01-18 20:32:14 +00:00
parent db009e0eb8
commit 3ea9f68e75

View File

@ -3,7 +3,7 @@
}: }:
let let
revision = "2381"; revision = "2399";
in in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "uhc-svn-${revision}"; name = "uhc-svn-${revision}";
@ -11,7 +11,7 @@ stdenv.mkDerivation {
src = fetchsvn { src = fetchsvn {
url = "https://subversion.cs.uu.nl/repos/project.UHC.pub/trunk/EHC"; url = "https://subversion.cs.uu.nl/repos/project.UHC.pub/trunk/EHC";
rev = revision; rev = revision;
sha256 = "37598f49cda8ff67b0b4d1c75b0bf50bfcd29a92b08ea427c5071080e368c4bc"; sha256 = "f4e87dbf95f90b021994b0840f27e042dd4e785df7efedcf567f3e2c7ce32621";
}; };
propagatedBuildInputs = [mtl network binary fgl syb]; propagatedBuildInputs = [mtl network binary fgl syb];