diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-27 19:27:00 +0200 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-10-28 18:07:35 +0200 |
| commit | f128c2a5a764b1cb0098efc9c3735c0dccb582ae (patch) | |
| tree | 9b3d4b9e3bea4fb8ff08582acc90108793b9e210 /pkgs/top-level/aliases.nix | |
| parent | c3d06f4d2163fbd7588dccc3176d41f098a1ce62 (diff) | |
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 5dc11a345a6dd..6674896d874e6 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 ### |