diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-29 13:24:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-29 13:24:36 +0100 |
commit | 3b8189b76e46110d3a3c2dac1a181e04a0ada551 (patch) | |
tree | 85a55200f2df156fe4be903b60b8e4793e0829c7 /pkgs/top-level/aliases.nix | |
parent | af17a2847cfd41dadacdbeaf8801b62cd28a4892 (diff) | |
parent | f128c2a5a764b1cb0098efc9c3735c0dccb582ae (diff) |
Merge pull request #263820 from wegank/disarchive-rename
disarchive: rename from guile-disarchive, fix program
Diffstat (limited to 'pkgs/top-level/aliases.nix')
-rw-r--r-- | pkgs/top-level/aliases.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix index 1354077e05dfc..e2cc159fe9924 100644 --- a/pkgs/top-level/aliases.nix +++ b/pkgs/top-level/aliases.nix @@ -339,6 +339,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 ### |