From 82f087944b70e2046ea63d23bf07561b29a34758 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 21 Jul 2016 18:41:26 +0200
Subject: metis-prover: 2.3.20160102 -> 2.3.20160713

---
 pkgs/applications/science/logic/metis-prover/default.nix | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

(limited to 'pkgs/applications')

diff --git a/pkgs/applications/science/logic/metis-prover/default.nix b/pkgs/applications/science/logic/metis-prover/default.nix
index 772d755b233e..1601a74e1899 100644
--- a/pkgs/applications/science/logic/metis-prover/default.nix
+++ b/pkgs/applications/science/logic/metis-prover/default.nix
@@ -1,18 +1,20 @@
-{ stdenv, fetchurl, perl, mlton }:
+{ stdenv, fetchFromGitHub, perl, mlton }:
 
 stdenv.mkDerivation rec {
   name = "metis-prover-${version}";
-  version = "2.3.20160102";
+  version = "2.3.20160713";
 
-  src = fetchurl {
-    url = "http://www.gilith.com/software/metis/metis.tar.gz";
-    sha256 = "13csr90i9lsxdyzxqiwgi98pa7phfl28drjcv4qdjhzi71wcdc66";
+  src = fetchFromGitHub {
+    owner = "gilith";
+    repo = "metis";
+    rev = "f0b1a17cd57eb098077e963ab092477aee9fb340";
+    sha256 = "1i7paax7b4byk8110f5zk4071mh5603r82bq7hbprqzljvsiipk7";
   };
 
   nativeBuildInputs = [ perl ];
   buildInputs = [ mlton ];
 
-  patchPhase = "patchShebangs scripts/mlpp";
+  patchPhase = "patchShebangs .";
 
   buildPhase = "make mlton";
 
-- 
cgit 1.4.1