[PRQ#63455] Orphan Request for fstar-ulib Accepted

[notify]

Request #63455 has been Accepted by MarsSeed [1].

[1] https://aur.archlinux.org/account/MarsSeed/