[PRQ#47485] Deletion Request for matita Rejected

Request #47485 has been Rejected by MarsSeed [1]: Deferring low-priority, no-impact request. Will resubmit later. [1] https://aur.archlinux.org/account/MarsSeed/