Index of /fstar/

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 fstar-2026.03.24_2.darwin_22.arm64.tbz2         2026-07-03 05:38  119M  
 fstar-2026.03.24_2.darwin_22.arm64.tbz2.rmd160  2026-07-03 05:38  512   
 fstar-2026.03.24_2.darwin_22.x86_64.tbz2        2026-07-01 02:41  115M  
 fstar-2026.03.24_2.darwin_22.x86_64.tbz2.rmd160 2026-07-01 02:41  512   
 fstar-2026.03.24_2.darwin_23.arm64.tbz2         2026-07-01 14:45  119M  
 fstar-2026.03.24_2.darwin_23.arm64.tbz2.rmd160  2026-07-01 14:45  512   
 fstar-2026.03.24_2.darwin_23.x86_64.tbz2        2026-06-30 15:15  115M  
 fstar-2026.03.24_2.darwin_23.x86_64.tbz2.rmd160 2026-06-30 15:15  512   
 fstar-2026.03.24_2.darwin_24.arm64.tbz2         2026-06-30 20:19  119M  
 fstar-2026.03.24_2.darwin_24.arm64.tbz2.rmd160  2026-06-30 20:19  512   
 fstar-2026.03.24_2.darwin_24.x86_64.tbz2        2026-06-30 01:28  115M  
 fstar-2026.03.24_2.darwin_24.x86_64.tbz2.rmd160 2026-06-30 01:28  512   
 fstar-2026.03.24_2.darwin_25.arm64.tbz2         2026-06-30 16:17  119M  
 fstar-2026.03.24_2.darwin_25.arm64.tbz2.rmd160  2026-06-30 16:17  512