tlaplus-toolbox: move to by-name

2025-08-21 18:49:02 +02:00
parent e036b87a3b
commit d3967f76dd
3 changed files with 1 additions and 1 deletions
@@ -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;
@@ -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