Index of /fstar/
../
fstar-2022.06.08_0.darwin_21.arm64.tbz2 10-Jun-2022 20:33 109074763
fstar-2022.06.08_0.darwin_21.arm64.tbz2.rmd160 10-Jun-2022 20:33 512
fstar-2022.06.08_0.darwin_21.x86_64.tbz2 10-Jun-2022 20:46 107812858
fstar-2022.06.08_0.darwin_21.x86_64.tbz2.rmd160 10-Jun-2022 20:46 512
fstar-2022.06.08_0.darwin_22.arm64.tbz2 08-Mar-2023 18:05 109057444
fstar-2022.06.08_0.darwin_22.arm64.tbz2.rmd160 08-Mar-2023 18:05 512
fstar-2022.06.08_0.darwin_22.x86_64.tbz2 09-Jan-2023 06:30 106045797
fstar-2022.06.08_0.darwin_22.x86_64.tbz2.rmd160 09-Jan-2023 06:30 512