philipp
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

Merge pull request #142239 from bcdarwin/update-abella 

abella: 2.0.6 -> 2.0.7
conduit-nginx
Bobby Rong 2021-10-21 08:51:08 +08:00 committed by GitHub
parent b2ecf6ed9e 3032353fcb
commit 85b417446a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/abella/default.nix
View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "abella";
version = "2.0.6";
version = "2.0.7";
src = fetchurl {
url = "http://abella-prover.org/distributions/${pname}-${version}.tar.gz";
sha256 = "164q9gngckg6q69k13lwx2pq3cnc9ckw1qi8dnpxqfjgwfqr7xyi";
sha256 = "sha256-/eOiebMFHgrurtrSHPlgZO3xmmxBOUmyAzswXZLd3Yc=";
};
buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild findlib ]);

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

@ -31123,9 +31123,7 @@ with pkgs;
abc-verifier = callPackage ../applications/science/logic/abc {};
abella = callPackage ../applications/science/logic/abella {
ocamlPackages = ocaml-ng.ocamlPackages_4_07;
};
abella = callPackage ../applications/science/logic/abella { };
acgtk = callPackage ../applications/science/logic/acgtk {};