[PRQ#63527] Orphan Request for fstar-git Accepted

4 Sep 2024


      Request #63527 has been Accepted by epicycle6 [1].

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

notify＠aur.archlinux.org