[PRQ#52895] Orphan Request for matita

[notify]

MarsSeed [1] filed an orphan request for matita [2]:

Broken. Abandoned pkg since 2019.
Upstream's last release was in 2016.
Flagged since 2021.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/matita/