From 8f84a5cb0861f91fcb62785bd77c0a512a9768ab Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Tue, 21 Jun 2016 13:26:51 +0200 Subject: glucose, glucose-syrup: init at 4.0 --- pkgs/top-level/all-packages.nix | 3 +++ 1 file changed, 3 insertions(+) (limited to 'pkgs/top-level') 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 { -- cgit 1.4.1