potassco: Migrate to by-name

2025-06-10 22:37:24 +00:00
parent a2df2a3c91
commit 6dc461e294
3 changed files with 0 additions and 4 deletions
@@ -2029,10 +2029,6 @@ with pkgs;

  cloud-init = callPackage ../tools/virtualization/cloud-init { inherit systemd; };

-  clingo = callPackage ../applications/science/logic/potassco/clingo.nix { };
-
-  clingcon = callPackage ../applications/science/logic/potassco/clingcon.nix { };
-
  coloredlogs = with python3Packages; toPythonApplication coloredlogs;

  czkawka-full = czkawka.wrapper.override {