[PRQ#63455] Orphan Request for fstar-ulib

[notify]

MarsSeed [1] filed an orphan request for fstar-ulib [2]:

Flagged out-of-date (2019-10-13).

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/fstar-ulib/