swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 21:09:00 +02:00
Code Issues Packages Projects Releases Wiki Activity

iprover: 2.5 -> 2018_Jul_24_11h

Browse source
This commit is contained in:
Gabriel Ebner 2018-11-21 12:15:48 +01:00
parent 75e357e210
commit f505340252
2 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/applications/science/logic/iprover/default.nix
View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
name = "iprover-${version}";
version = "2.5";
version = "2018_Jul_24_11h";
src = fetchurl {
url = "http://www.cs.man.ac.uk/~korovink/iprover/iprover-v${version}.tar.gz";
sha256 = "1mbxjczp6nqw0p33glqmw973c268yzy4gxflk1lfiyiihrjdhinb";
url = "http://www.cs.man.ac.uk/~korovink/iprover/iprover_${version}.tar.gz";
sha256 = "1iqim11flzm56aaysasl5whajcv1gq31hkidaqfr8ww7kwl1h06p";
};
buildInputs = [ ocaml eprover zlib ];

4
pkgs/top-level/all-packages.nix
View file

@ -21499,9 +21499,7 @@ with pkgs;
java = if stdenv.isLinux then jre else jdk;
};
iprover = callPackage ../applications/science/logic/iprover {
inherit (ocaml-ng.ocamlPackages_4_02) ocaml;
};
iprover = callPackage ../applications/science/logic/iprover { };
jonprl = callPackage ../applications/science/logic/jonprl {
smlnj = if stdenv.isDarwin