Index of /fstar/

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 fstar-2026.03.24_3.darwin_22.arm64.tbz2         2026-08-28 14:57  119M  
 fstar-2026.03.24_3.darwin_22.arm64.tbz2.rmd160  2026-08-28 14:57  512   
 fstar-2026.03.24_3.darwin_22.arm64.tbz2.sig     2026-08-28 14:57  159   
 fstar-2026.03.24_3.darwin_22.x86_64.tbz2        2026-08-31 10:59  115M  
 fstar-2026.03.24_3.darwin_22.x86_64.tbz2.rmd160 2026-08-31 10:59  512   
 fstar-2026.03.24_3.darwin_22.x86_64.tbz2.sig    2026-09-10 22:39  159   
 fstar-2026.03.24_3.darwin_23.arm64.tbz2         2026-08-28 20:11  119M  
 fstar-2026.03.24_3.darwin_23.arm64.tbz2.rmd160  2026-08-28 20:11  512   
 fstar-2026.03.24_3.darwin_23.arm64.tbz2.sig     2026-08-28 20:11  159   
 fstar-2026.03.24_3.darwin_23.x86_64.tbz2        2026-08-29 16:58  115M  
 fstar-2026.03.24_3.darwin_23.x86_64.tbz2.rmd160 2026-08-29 16:58  512   
 fstar-2026.03.24_3.darwin_23.x86_64.tbz2.sig    2026-09-10 22:39  159   
 fstar-2026.03.24_3.darwin_24.arm64.tbz2         2026-08-28 14:56  119M  
 fstar-2026.03.24_3.darwin_24.arm64.tbz2.rmd160  2026-08-28 14:56  512   
 fstar-2026.03.24_3.darwin_24.arm64.tbz2.sig     2026-08-28 14:56  159   
 fstar-2026.03.24_3.darwin_24.x86_64.tbz2        2026-08-28 15:33  115M  
 fstar-2026.03.24_3.darwin_24.x86_64.tbz2.rmd160 2026-08-28 15:33  512   
 fstar-2026.03.24_3.darwin_24.x86_64.tbz2.sig    2026-09-10 22:39  159   
 fstar-2026.03.24_3.darwin_25.arm64.tbz2         2026-08-28 14:54  119M  
 fstar-2026.03.24_3.darwin_25.arm64.tbz2.rmd160  2026-08-28 14:54  512   
 fstar-2026.03.24_3.darwin_25.arm64.tbz2.sig     2026-08-28 14:54  159   
 fstar-2026.03.24_3.darwin_27.arm64.tbz2         2026-09-21 14:44  119M  
 fstar-2026.03.24_3.darwin_27.arm64.tbz2.rmd160  2026-09-21 14:44  512   
 fstar-2026.03.24_3.darwin_27.arm64.tbz2.sig     2026-09-21 14:45  159