diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-04-06 00:34:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-06 00:34:47 +0100 |
| commit | d307ab5ca3bff5609db8c942a40961278371bea4 (patch) | |
| tree | a2ea02d362f4c79c981b45dc5043c755f80d1d0a /pkgs/top-level | |
| parent | 583a85129c336036554908f3fe044b4e85b86bf8 (diff) | |
| parent | 9f70551937ff5478547092449fd588c1c09f4982 (diff) | |
| download | nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.gz nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.bz2 nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.lz nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.xz nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.zst nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.zip | |
Merge pull request #38416 from bcdarwin/beluga
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 4f6add40f874..fb07c9b5ea36 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -19879,6 +19879,8 @@ with pkgs; aspino = callPackage ../applications/science/logic/aspino {}; + beluga = callPackage ../applications/science/logic/beluga { }; + boogie = dotnetPackages.Boogie; inherit (callPackage ./coq-packages.nix {}) |