public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

iprover: 0.8.1 -> 2.5

Browse Source
This commit is contained in:
Gabriel Ebner 2017-07-17 22:45:27 +01:00
parent ac50c4d72e
commit 7ba1c7a9fb
1 changed files with 7 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/applications/science/logic/iprover/default.nix
View File

@ -1,15 +1,15 @@
{ stdenv, fetchurl, ocaml, eprover }: { stdenv, fetchurl, ocaml, eprover, zlib }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "iprover-${version}"; name = "iprover-${version}";
version = "0.8.1"; version = "2.5";
src = fetchurl { src = fetchurl {
url = "http://iprover.googlecode.com/files/iprover_v${version}.tar.gz"; url = "http://www.cs.man.ac.uk/~korovink/iprover/iprover-v${version}.tar.gz";
sha256 = "15qn523w4l296np5rnkwi50a5x2xqz0kaza7bsh9bkazph7jma7w"; sha256 = "1mbxjczp6nqw0p33glqmw973c268yzy4gxflk1lfiyiihrjdhinb";
}; };
buildInputs = [ ocaml eprover ]; buildInputs = [ ocaml eprover zlib ];
preConfigure = ''patchShebangs .''; preConfigure = ''patchShebangs .'';
@ -25,12 +25,9 @@ stdenv.mkDerivation rec {
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "An automated first-order logic theorem prover"; description = "An automated first-order logic theorem prover";
maintainers = with maintainers; homepage = http://www.cs.man.ac.uk/~korovink/iprover/;
[ maintainers = with maintainers; [ raskin gebner ];
raskin
];
platforms = platforms.linux; platforms = platforms.linux;
license = licenses.gpl3; license = licenses.gpl3;
downloadPage = "http://code.google.com/p/iprover/downloads/list";
}; };
} }