From f128c2a5a764b1cb0098efc9c3735c0dccb582ae Mon Sep 17 00:00:00 2001 From: Weijia Wang <9713184+wegank@users.noreply.github.com> Date: Fri, 27 Oct 2023 19:27:00 +0200 Subject: disarchive: rename from guile-disarchive, fix program --- pkgs/top-level/aliases.nix | 1 + 1 file changed, 1 insertion(+) (limited to 'pkgs/top-level/aliases.nix') diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix index 5dc11a345a6..6674896d874 100644 --- a/pkgs/top-level/aliases.nix +++ b/pkgs/top-level/aliases.nix @@ -336,6 +336,7 @@ mapAliases ({ gr-rds = throw "'gr-rds' has been renamed to/replaced by 'gnuradio3_7.pkgs.rds'"; # Converted to throw 2023-09-10 grub2_full = grub2; # Added 2022-11-18 grub = throw "grub1 was removed after not being maintained upstream for a decade. Please switch to another bootloader"; # Added 2023-04-11 + guile-disarchive = disarchive; # Added 2023-10-27 guile-lint = throw "'guile-lint' has been removed, please use 'guild lint' instead"; # Added 2023-10-16 ### H ### -- cgit 1.4.1