Index of /fstar/

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 fstar-2025.03.25_0.darwin_23.arm64.tbz2         2026-04-18 04:28  115M  
 fstar-2025.03.25_0.darwin_23.arm64.tbz2.rmd160  2026-04-18 04:28  512   
 fstar-2025.03.25_0.darwin_23.x86_64.tbz2        2026-04-16 03:23  112M  
 fstar-2025.03.25_0.darwin_23.x86_64.tbz2.rmd160 2026-04-16 03:23  512   
 fstar-2025.03.25_0.darwin_24.arm64.tbz2         2026-04-17 15:43  115M  
 fstar-2025.03.25_0.darwin_24.arm64.tbz2.rmd160  2026-04-17 15:43  512   
 fstar-2025.03.25_0.darwin_24.x86_64.tbz2        2026-04-16 01:39  112M  
 fstar-2025.03.25_0.darwin_24.x86_64.tbz2.rmd160 2026-04-16 01:39  512   
 fstar-2025.03.25_0.darwin_25.arm64.tbz2         2026-04-17 08:16  115M  
 fstar-2025.03.25_0.darwin_25.arm64.tbz2.rmd160  2026-04-17 08:16  512