diff options
author | Gabriel Ebner <gebner@gebner.org> | 2017-07-17 22:45:27 +0100 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2017-07-17 22:45:27 +0100 |
commit | 7ba1c7a9fb76834f69ef75418921719b52d5d842 (patch) | |
tree | 5855bd50883c59fc47af7fd1b872d85193e5d476 /pkgs/applications/science | |
parent | ac50c4d72e54c5bc2ff893e3db919e17ddc9e7cd (diff) | |
download | nixlib-7ba1c7a9fb76834f69ef75418921719b52d5d842.tar nixlib-7ba1c7a9fb76834f69ef75418921719b52d5d842.tar.gz nixlib-7ba1c7a9fb76834f69ef75418921719b52d5d842.tar.bz2 nixlib-7ba1c7a9fb76834f69ef75418921719b52d5d842.tar.lz nixlib-7ba1c7a9fb76834f69ef75418921719b52d5d842.tar.xz nixlib-7ba1c7a9fb76834f69ef75418921719b52d5d842.tar.zst nixlib-7ba1c7a9fb76834f69ef75418921719b52d5d842.zip |
iprover: 0.8.1 -> 2.5
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/iprover/default.nix | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/pkgs/applications/science/logic/iprover/default.nix b/pkgs/applications/science/logic/iprover/default.nix index fe906fbe3578..af225a2961d5 100644 --- a/pkgs/applications/science/logic/iprover/default.nix +++ b/pkgs/applications/science/logic/iprover/default.nix @@ -1,15 +1,15 @@ -{ stdenv, fetchurl, ocaml, eprover }: +{ stdenv, fetchurl, ocaml, eprover, zlib }: stdenv.mkDerivation rec { name = "iprover-${version}"; - version = "0.8.1"; + version = "2.5"; src = fetchurl { - url = "http://iprover.googlecode.com/files/iprover_v${version}.tar.gz"; - sha256 = "15qn523w4l296np5rnkwi50a5x2xqz0kaza7bsh9bkazph7jma7w"; + url = "http://www.cs.man.ac.uk/~korovink/iprover/iprover-v${version}.tar.gz"; + sha256 = "1mbxjczp6nqw0p33glqmw973c268yzy4gxflk1lfiyiihrjdhinb"; }; - buildInputs = [ ocaml eprover ]; + buildInputs = [ ocaml eprover zlib ]; preConfigure = ''patchShebangs .''; @@ -25,12 +25,9 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "An automated first-order logic theorem prover"; - maintainers = with maintainers; - [ - raskin - ]; + homepage = http://www.cs.man.ac.uk/~korovink/iprover/; + maintainers = with maintainers; [ raskin gebner ]; platforms = platforms.linux; license = licenses.gpl3; - downloadPage = "http://code.google.com/p/iprover/downloads/list"; }; } |