diff options
author | Simon Lackerbauer <simon@lackerbauer.com> | 2019-01-07 10:41:11 -0500 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-08 17:05:30 +0000 |
commit | f7367cbf1c0179fed1301c75a789230e431fdc4d (patch) | |
tree | a37392fed3c84ee257f268a3f70700a946cd9533 | |
parent | 6004e5dda3da46716cebcff3898fe9c877929b1f (diff) | |
download | nixlib-f7367cbf1c0179fed1301c75a789230e431fdc4d.tar nixlib-f7367cbf1c0179fed1301c75a789230e431fdc4d.tar.gz nixlib-f7367cbf1c0179fed1301c75a789230e431fdc4d.tar.bz2 nixlib-f7367cbf1c0179fed1301c75a789230e431fdc4d.tar.lz nixlib-f7367cbf1c0179fed1301c75a789230e431fdc4d.tar.xz nixlib-f7367cbf1c0179fed1301c75a789230e431fdc4d.tar.zst nixlib-f7367cbf1c0179fed1301c75a789230e431fdc4d.zip |
abella: 2.0.5 -> 2.0.6
-rw-r--r-- | pkgs/applications/science/logic/abella/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/abella/default.nix b/pkgs/applications/science/logic/abella/default.nix index 7d71a56fa23e..bc23454edfc7 100644 --- a/pkgs/applications/science/logic/abella/default.nix +++ b/pkgs/applications/science/logic/abella/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { name = "abella-${version}"; - version = "2.0.5"; + version = "2.0.6"; src = fetchurl { url = "http://abella-prover.org/distributions/${name}.tar.gz"; - sha256 = "0bry4pj6p9y7sg79ygdksynml4rdsjhqi959vnnwwsbaysa3bci0"; + sha256 = "164q9gngckg6q69k13lwx2pq3cnc9ckw1qi8dnpxqfjgwfqr7xyi"; }; buildInputs = [ rsync ] ++ (with ocamlPackages; [ ocaml ocamlbuild findlib ]); |