10 Jan
2024
10 Jan
'24
2:30 p.m.
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/