mma: rename from MMA (#488474)
This commit is contained in:
@@ -1276,6 +1276,7 @@ mapAliases {
|
||||
miru = throw "'miru' has been removed due to lack maintenance"; # Added 2025-08-21
|
||||
mlir_16 = throw "mlir_16 has been removed, as it is unmaintained and obsolete"; # Added 2025-08-09
|
||||
mlir_17 = throw "mlir_17 has been removed, as it is unmaintained and obsolete"; # Added 2025-08-09
|
||||
MMA = mma; # Added 2026-02-08
|
||||
mmsd = throw "'mmsd' has been removed due to being unmaintained upstream. Consider using 'mmsd-tng' instead"; # Added 2025-06-07
|
||||
mmutils = throw "'mmutils' has been removed due to being unmaintained upstream"; # Added 2025-08-29
|
||||
moar = warnAlias "`moar` has been renamed to `moor` by upstream in v2.0.0. See https://github.com/walles/moor/pull/305 for more." pkgs.moor; # Added 2025-09-02
|
||||
|
||||
Reference in New Issue
Block a user