creduce: 2.6.0 -> 2.7.0, now uses LLVM 4

2017-06-22 07:47:53 -05:00
parent bb9e23837a
commit 1e9a9ba149
2 changed files with 3 additions and 3 deletions
@@ -10,11 +10,11 @@ assert stdenv.isLinux -> (utillinux != null);

 stdenv.mkDerivation rec {
  name = "creduce-${version}";
-  version = "2.6.0";
+  version = "2.7.0";

  src = fetchurl {
    url = "http://embed.cs.utah.edu/creduce/${name}.tar.gz";
-    sha256 = "0pf5q0n8vkdcr1wrkxn2jzxv0xkrir13bwmqfw3jpbm3dh2c3b6d";
+    sha256 = "0h8s4d54q6cl6i45x3143l2xmr29b2yhr3m0n5qqx63sr5csip1n";
  };

  buildInputs = [