stp: relocate to by-name

NixOS · Oct 19, 2024 · 6f086e8 · 6f086e8
1 parent e2942c2
commit 6f086e8
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 2 deletions.
diff --git a/...pplications/science/logic/stp/default.nix → pkgs/by-name/st/stp/package.nix b/...pplications/science/logic/stp/default.nix → pkgs/by-name/st/stp/package.nix
diff --git a/...plications/science/logic/stp/stdint.patch → pkgs/by-name/st/stp/stdint.patch b/...plications/science/logic/stp/stdint.patch → pkgs/by-name/st/stp/stdint.patch
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
@@ -32609,8 +32609,6 @@ with pkgs;
 
   inherit (ocaml-ng.ocamlPackages) stog;
 
-  stp = callPackage ../applications/science/logic/stp { };
-
   stretchly = callPackage ../applications/misc/stretchly { };
 
   stuffbin = callPackage ../tools/filesystems/stuffbin { };