[PRQ#63456] Deletion Request for fstar-ulib

[notify]

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/