pyrox.dev
abella: 2.0.6 -> 2.0.7
+2
-2
pkgs/applications/science/logic/abella/default.nix
+2
-2
pkgs/applications/science/logic/abella/default.nix
···
2
2
3
3
stdenv.mkDerivation rec {
4
4
pname = "abella";
5
-
version = "2.0.6";
5
+
version = "2.0.7";
6
6
7
7
src = fetchurl {
8
8
url = "http://abella-prover.org/distributions/${pname}-${version}.tar.gz";
9
-
sha256 = "164q9gngckg6q69k13lwx2pq3cnc9ckw1qi8dnpxqfjgwfqr7xyi";
9
+
sha256 = "sha256-/eOiebMFHgrurtrSHPlgZO3xmmxBOUmyAzswXZLd3Yc=";
10
10
};
11
11
12
12
buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild findlib ]);
+1
-3
pkgs/top-level/all-packages.nix
+1
-3
pkgs/top-level/all-packages.nix
···
31098
31098
31099
31099
abc-verifier = callPackage ../applications/science/logic/abc {};
31100
31100
31101
-
abella = callPackage ../applications/science/logic/abella {
31102
-
ocamlPackages = ocaml-ng.ocamlPackages_4_07;
31103
-
};
31101
+
abella = callPackage ../applications/science/logic/abella { };
31104
31102
31105
31103
acgtk = callPackage ../applications/science/logic/acgtk {};
31106
31104