diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2022-02-15 18:38:41 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-15 18:38:41 -0600 |
commit | 521cfab34b6f9e35160755e57a314a9d674d3e9e (patch) | |
tree | 114119c65a18e77dc22dd2de3906d09b99e2426d /pkgs/top-level | |
parent | c374a5dd496f0acb95ab44fe54241195ea6b55b9 (diff) | |
parent | 7f94906083b34e061f221a1aa4a41a0fcbc7374a (diff) |
Merge pull request #157626 from siraben/formula-init
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 6e6ff11c352ae..ccfe828dbc829 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -32287,6 +32287,8 @@ with pkgs; eprover-ho = callPackage ../applications/science/logic/eprover { enableHO = true; }; + formula = callPackage ../applications/science/logic/formula { }; + gappa = callPackage ../applications/science/logic/gappa { }; gfan = callPackage ../applications/science/math/gfan {}; |