diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2018-04-03 21:40:09 -0400 |
---|---|---|
committer | Ben Darwin <bcdarwin@gmail.com> | 2018-04-04 17:24:28 -0400 |
commit | 9f70551937ff5478547092449fd588c1c09f4982 (patch) | |
tree | 0ec6c49390e05a870acd6f97d8a3e701fe648900 /pkgs/top-level | |
parent | 5a53b98248d76ad2ec5a6457f208af8890e308f6 (diff) | |
download | nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.gz nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.bz2 nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.lz nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.xz nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.zst nixlib-9f70551937ff5478547092449fd588c1c09f4982.zip |
beluga: init at 20180403
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 073596951efa..52dafc4a69a5 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -19859,6 +19859,8 @@ with pkgs; aspino = callPackage ../applications/science/logic/aspino {}; + beluga = callPackage ../applications/science/logic/beluga { }; + boogie = dotnetPackages.Boogie; inherit (callPackage ./coq-packages.nix {}) |