MarsSeed [1] filed a deletion request for matita [2]: Long broken and abandoned. Submitted in 2019 and never changed. 0 votes/comments. Uses upstream's last tagged release, 0.99.3, from 8 years ago (2016). [a] Not compatible with current OCAML 5 & its modules that are offered by Arch Linux repo. Also its lablgtk2 dependency no longer exists. Same is true for upstream's legacy 'ld-0.99.3' maintenance branch, discontinued since 2019. [b] Only '-git' package would be viable. The master branch is actively developed against mainline OCAML 5 modules, and uses lablgtk3 which is available in Arch repo. Deleting this would allow dropping other defunct EOL packages from AUR down the line. [a]: http://matita.cs.unibo.it/download.shtml [b]: http://matita.cs.unibo.it/gitweb/?p=helm.git [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/matita/