diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-06-21 13:26:51 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-06-21 13:26:51 +0200 |
commit | 8f84a5cb0861f91fcb62785bd77c0a512a9768ab (patch) | |
tree | f7bf7dc1688a97fc5f9c3527f94f136db085d7a3 /pkgs/top-level | |
parent | 22a7f3a849c8f2e2a3fbdeea5d6e0505171ae5fd (diff) | |
download | nixlib-8f84a5cb0861f91fcb62785bd77c0a512a9768ab.tar nixlib-8f84a5cb0861f91fcb62785bd77c0a512a9768ab.tar.gz nixlib-8f84a5cb0861f91fcb62785bd77c0a512a9768ab.tar.bz2 nixlib-8f84a5cb0861f91fcb62785bd77c0a512a9768ab.tar.lz nixlib-8f84a5cb0861f91fcb62785bd77c0a512a9768ab.tar.xz nixlib-8f84a5cb0861f91fcb62785bd77c0a512a9768ab.tar.zst nixlib-8f84a5cb0861f91fcb62785bd77c0a512a9768ab.zip |
glucose, glucose-syrup: init at 4.0
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index b007154bc2d5..00a64d76d608 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16230,6 +16230,9 @@ in ginac = callPackage ../applications/science/math/ginac { }; + glucose = callPackage ../applications/science/logic/glucose { }; + glucose-syrup = callPackage ../applications/science/logic/glucose/syrup.nix { }; + hol = callPackage ../applications/science/logic/hol { }; hol_light = callPackage ../applications/science/logic/hol_light { |