Index of /src_prepare-overlay/dev-lang/fstar

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] metadata.xml            19-Nov-2022 10:05  1.0K  
[TXT] fstar-2021.11.27.ebuild 19-Nov-2022 10:05  876   
[   ] Manifest                19-Nov-2022 10:05  310