[PRQ#63455] Orphan Request for fstar-ulib

2024-09-02 Thread 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/

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

2024-09-02 Thread notify
Request #63455 has been Accepted by MarsSeed [1]. [1] https://aur.archlinux.org/account/MarsSeed/