glucose: move to by-name

2025-08-21 18:49:55 +02:00
parent 85693031b6
commit b4eed22111
2 changed files with 1 additions and 2 deletions
@@ -15051,8 +15051,7 @@ with pkgs;

  giac-with-xcas = giac.override { enableGUI = true; };

-  glucose = callPackage ../applications/science/logic/glucose { };
-  glucose-syrup = callPackage ../applications/science/logic/glucose {
+  glucose-syrup = glucose.override {
    enableUnfree = true;
  };