From 206c6b1bbbd19d1b2d5270abd23d4c9b092fe420 Mon Sep 17 00:00:00 2001
From: Mathijs Kwik <mathijs@bluescreen303.nl>
Date: Wed, 9 May 2012 10:01:41 +0000
Subject: [PATCH] upgraded uhc

svn path=/nixpkgs/trunk/; revision=34026
---
 pkgs/development/compilers/uhc/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/compilers/uhc/default.nix b/pkgs/development/compilers/uhc/default.nix
index b7b2cb4cb628..8aa27674677f 100644
--- a/pkgs/development/compilers/uhc/default.nix
+++ b/pkgs/development/compilers/uhc/default.nix
@@ -3,12 +3,12 @@
 }:
 
 stdenv.mkDerivation {
-  name = "uhc-svn-git20120412";
+  name = "uhc-svn-git20120502";
 
   src = fetchgit {
      url = "https://github.com/UU-ComputerScience/uhc.git";
-     rev = "eef10f64d84bc0aa145121f2a61accea03b9bc76";
-     sha256 = "c867d22423adb17396a28eef030c53f282b1443db2149aa7b8ab659ac7c18576";
+     rev = "ab26d787657bb729d8a4f92ef5d067d9990f6ce3";
+     sha256 = "66c5b6d95dc80a652f6e17476a1b18fbef4b4ff6199a92d033f0055526ec97ff";
   };
 
   postUnpack = "sourceRoot=\${sourceRoot}/EHC";