diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-10-29 18:01:23 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-29 18:01:23 +0000 |
commit | 64070c2fda8eb32abd3f622a6fc2e6e2cc35f3df (patch) | |
tree | 76c6379cd75aa481633b8b6e06a8bc4213f27da4 /pkgs/top-level/aliases.nix | |
parent | 571f1df5e41d4aeab9f36c76ada75968c940b388 (diff) | |
parent | c9e3cc43c7baea00c41a4aa24a5e31a08fbfb894 (diff) |
Merge master into staging-next
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 de0177ccc76bd..087d1afc0804d 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 ### |