19 Oct
2023
19 Oct
'23
7:07 p.m.
MarsSeed [1] filed a deletion request for gmp4 [2]: Cleanup after the deletion of bluespec, a discontinued orphan closed- source beta package from 2019 (PRQ#45802). gmp4 is an abandoned library pkg from 2016. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gmp4/