2 Sep
2024
2 Sep
'24
1:06 p.m.
MarsSeed [1] filed a deletion request for fstar-ulib [2]: Broken, unused package from 2018. Mandatory transitive dependency camlp4 is missing. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/fstar-ulib/