prevo*: move to pkgs/by-name

2024-01-16 10:16:25 +02:00 · 2024-01-16 10:16:25 +02:00 · 6c900ea19a
commit 6c900ea19a
parent 7f2a43bb72
4 changed files with 0 additions and 4 deletions
--- a/pkgs/by-name/pr/prevo-data/package.nix
+++ b/pkgs/by-name/pr/prevo-data/package.nix
--- a/pkgs/by-name/pr/prevo-tools/package.nix
+++ b/pkgs/by-name/pr/prevo-tools/package.nix
--- a/pkgs/applications/misc/prevo/default.nix
+++ b/pkgs/applications/misc/prevo/default.nix
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@ -34117,10 +34117,6 @@ with pkgs;
    jre = openjdk17;
  };

-  prevo = callPackage ../applications/misc/prevo { };
-  prevo-data = callPackage ../applications/misc/prevo/data.nix { };
-  prevo-tools = callPackage ../applications/misc/prevo/tools.nix { };
-
  psi-notify = callPackage ../applications/misc/psi-notify { };

  ptex = callPackage ../development/libraries/ptex { };