[PRQ#47485] Deletion Request for matita

[notify]

MarsSeed [1] filed a deletion request for matita [2]:

Unused, broken pkg from 2019.
Upstream's last release was in 2016.

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