1 Oct
2023
1 Oct
'23
3:45 p.m.
MarsSeed [1] filed a deletion request for mono48 [2]: Unused legacy package from 2017. Also conflicts with extra repo's newer mono. With this, it violates the AUR submission guidelines (AUR packages should not create different or same version builds of repo packages. Non-conflicting builds are okay if there is a need for a different version of the package.) The pkgname also violates the Arch packaging guidelines: number after pkgname means major version, but this build is for Mono v4.8, not Mono v48. But in any case, it's safe to delete this superfluous package. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/mono48/