yochananmarqos [1] filed a deletion request for mono-6.12.0.144 [2]: Duplicate of the extra repo package: https://archlinux.org/packages/extra/x86_64/mono/ "The submitted PKGBUILDs must not build applications already in any of the official binary repositories under any circumstances. Check the official package database for the package. If any version of it exists, do not submit the package. If the official package is out-of- date, flag it as such. If the official package is broken or is lacking a feature, then please file a bug report." https://wiki.archlinux.org/title/AUR_submission_guidelines [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/mono-6.12.0.144/