Encourage users to consider using rumno instead of volnoti
This commit is contained in:
@@ -1633,6 +1633,7 @@ mapAliases {
|
||||
vkBasalt = throw "'vkBasalt' has been renamed to/replaced by 'vkbasalt'"; # Converted to throw 2025-10-27
|
||||
vkdt-wayland = throw "'vkdt-wayland' has been renamed to/replaced by 'vkdt'"; # Converted to throw 2025-10-27
|
||||
volk_2 = throw "'volk_2' has been removed after not being used by any package for a long time"; # Added 2025-10-25
|
||||
volnoti = throw "'volnoti' has been removed due to lack of maintenance upstream. Consider using 'rumno' instead."; # Added 2024-12-04
|
||||
voxelands = throw "'voxelands' has been removed due to lack of upstream maintenance"; # Added 2025-08-30
|
||||
vtk_9 = warnAlias "'vtk_9' has been renamed to 'vtk_9_5'" vtk_9_5; # Added 2025-07-18
|
||||
vtk_9_egl = warnAlias "'vtk_9_5' now build with egl support by default, so `vtk_9_egl` is deprecated, consider using 'vtk_9_5' instead." vtk_9_5; # Added 2025-07-18
|
||||
|
||||
Reference in New Issue
Block a user