[PRQ#47485] Deletion Request for matita
18 Sep
2023
18 Sep
'23
12:34 a.m.
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/
10 Jan
10 Jan
2:24 p.m.
New subject: [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/
311
Age (days ago)
425
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org