diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-07-21 18:41:26 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-07-21 18:41:26 +0200 |
commit | 82f087944b70e2046ea63d23bf07561b29a34758 (patch) | |
tree | a9b7c0f6297d7180023294aba25a8a1ddee214e2 /pkgs/applications/science/logic/metis-prover | |
parent | f162a1349aef85c1789855ce4a55783a54e2b47c (diff) | |
download | nixlib-82f087944b70e2046ea63d23bf07561b29a34758.tar nixlib-82f087944b70e2046ea63d23bf07561b29a34758.tar.gz nixlib-82f087944b70e2046ea63d23bf07561b29a34758.tar.bz2 nixlib-82f087944b70e2046ea63d23bf07561b29a34758.tar.lz nixlib-82f087944b70e2046ea63d23bf07561b29a34758.tar.xz nixlib-82f087944b70e2046ea63d23bf07561b29a34758.tar.zst nixlib-82f087944b70e2046ea63d23bf07561b29a34758.zip |
metis-prover: 2.3.20160102 -> 2.3.20160713
Diffstat (limited to 'pkgs/applications/science/logic/metis-prover')
-rw-r--r-- | pkgs/applications/science/logic/metis-prover/default.nix | 14 |
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"; |