[PRQ#63456] Deletion Request for fstar-ulib
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/
7 Sep
7 Sep
6:05 p.m.
New subject: [PRQ#63456] Deletion Request for fstar-ulib Accepted
Request #63456 has been Accepted by Muflone [1]: [Autogenerated] Accepted deletion for fstar-ulib. [1] https://aur.archlinux.org/account/Muflone/
123
Age (days ago)
128
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org