4 Sep
2024
4 Sep
'24
12:54 p.m.
epicycle6 [1] filed an orphan request for fstar-git [2]: out-of-date [1] https://aur.archlinux.org/account/epicycle6/ [2] https://aur.archlinux.org/pkgbase/fstar-git/