From d3967f76ddb8eb9343884df540e4e3b19a5f3e63 Mon Sep 17 00:00:00 2001
From: jopejoe1 <jopejoe1@missing.ninja>
Date: Thu, 21 Aug 2025 18:01:37 +0200
Subject: [PATCH] tlaplus-toolbox: move to by-name

---
 .../toolbox.nix => by-name/tl/tlaplus-toolbox/package.nix}       | 0
 pkgs/top-level/aliases.nix                                       | 1 +
 pkgs/top-level/all-packages.nix                                  | 1 -
 3 files changed, 1 insertion(+), 1 deletion(-)
 rename pkgs/{applications/science/logic/tlaplus/toolbox.nix => by-name/tl/tlaplus-toolbox/package.nix} (100%)

diff --git a/pkgs/applications/science/logic/tlaplus/toolbox.nix b/pkgs/by-name/tl/tlaplus-toolbox/package.nix
similarity index 100%
rename from pkgs/applications/science/logic/tlaplus/toolbox.nix
rename to pkgs/by-name/tl/tlaplus-toolbox/package.nix
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix
index 97dcb738c696..3c386be4aed3 100644
--- a/pkgs/top-level/aliases.nix
+++ b/pkgs/top-level/aliases.nix
@@ -2032,6 +2032,7 @@ mapAliases {
   tkcvs = tkrev; # Added 2022-03-07
   tkgate = throw "'tkgate' has been removed as it is unmaintained"; # Added 2025-05-17
   tkimg = tclPackages.tkimg; # Added 2024-10-02
+  tlaplusToolbox = tlaplus-toolbox; # Added 2025-08-21
   todiff = throw "'todiff' was removed due to lack of known users"; # Added 2025-01-25
   toil = throw "toil was removed as it was broken and requires obsolete versions of libraries"; # Added 2024-09-22
   tokodon = plasma5Packages.tokodon;
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 54fcd4bae61d..7147770e9cf0 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -15115,7 +15115,6 @@ with pkgs;
   tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix {
     inherit (ocaml-ng.ocamlPackages_4_14_unsafe_string) ocaml;
   };
-  tlaplusToolbox = callPackage ../applications/science/logic/tlaplus/toolbox.nix { };
 
   ### SCIENCE / ENGINEERING