diff options
author | William A. Kennington III <william@wkennington.com> | 2015-03-25 22:14:10 -0700 |
---|---|---|
committer | William A. Kennington III <william@wkennington.com> | 2015-03-25 22:14:10 -0700 |
commit | 2e815a74447e4f4cc0849df3a98a04c2a2df827a (patch) | |
tree | ec79818f48fdded63fdda3320d2f0f7b0c79088e /pkgs/top-level | |
parent | 18867a6b83a62df988f05039534a6b518bfef6b7 (diff) | |
parent | 172167c937595938871559fafcd083f002c32a22 (diff) | |
download | nixlib-2e815a74447e4f4cc0849df3a98a04c2a2df827a.tar nixlib-2e815a74447e4f4cc0849df3a98a04c2a2df827a.tar.gz nixlib-2e815a74447e4f4cc0849df3a98a04c2a2df827a.tar.bz2 nixlib-2e815a74447e4f4cc0849df3a98a04c2a2df827a.tar.lz nixlib-2e815a74447e4f4cc0849df3a98a04c2a2df827a.tar.xz nixlib-2e815a74447e4f4cc0849df3a98a04c2a2df827a.tar.zst nixlib-2e815a74447e4f4cc0849df3a98a04c2a2df827a.zip |
Merge pull request #6961 from bcdarwin/abella
new package: abella 2.0.2
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 300f6cab9303..c6ab84526cd0 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -13222,6 +13222,8 @@ let abc-verifier = callPackage ../applications/science/logic/abc {}; + abella = callPackage ../applications/science/logic/abella {}; + alt-ergo = callPackage ../applications/science/logic/alt-ergo {}; coq = callPackage ../applications/science/logic/coq { |