[aur-requests] [PRQ#26036] Deletion Request for mono-6.12.0.144

[notify at aur.archlinux.org]

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/