Index of /fstar/

../
fstar-2025.03.25_1.darwin_23.arm64.tbz2            09-May-2026 05:46           120808497
fstar-2025.03.25_1.darwin_23.arm64.tbz2.rmd160     09-May-2026 05:46                 512
fstar-2025.03.25_1.darwin_23.x86_64.tbz2           08-May-2026 22:10           117837198
fstar-2025.03.25_1.darwin_23.x86_64.tbz2.rmd160    08-May-2026 22:10                 512
fstar-2025.03.25_1.darwin_24.arm64.tbz2            08-May-2026 22:36           120791047
fstar-2025.03.25_1.darwin_24.arm64.tbz2.rmd160     08-May-2026 22:36                 512
fstar-2025.03.25_1.darwin_24.x86_64.tbz2           09-May-2026 03:25           117857414
fstar-2025.03.25_1.darwin_24.x86_64.tbz2.rmd160    09-May-2026 03:25                 512
fstar-2025.03.25_1.darwin_25.arm64.tbz2            09-May-2026 02:39           120789964
fstar-2025.03.25_1.darwin_25.arm64.tbz2.rmd160     09-May-2026 02:39                 512