1 files changed, 8 insertions, 6 deletions
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";