Index of /fstar/

../
fstar-2021.09.02_0.darwin_13.x86_64.tbz2           03-Sep-2021 04:19           102825174
fstar-2021.09.02_0.darwin_13.x86_64.tbz2.rmd160    03-Sep-2021 04:19                 512
fstar-2021.09.02_0.darwin_14.x86_64.tbz2           02-Sep-2021 21:46           102816419
fstar-2021.09.02_0.darwin_14.x86_64.tbz2.rmd160    02-Sep-2021 21:46                 512
fstar-2021.09.02_0.darwin_15.x86_64.tbz2           02-Sep-2021 22:23           102807376
fstar-2021.09.02_0.darwin_15.x86_64.tbz2.rmd160    02-Sep-2021 22:23                 512
fstar-2021.09.02_0.darwin_16.x86_64.tbz2           03-Sep-2021 02:43           102809163
fstar-2021.09.02_0.darwin_16.x86_64.tbz2.rmd160    03-Sep-2021 02:43                 512
fstar-2021.09.02_0.darwin_17.x86_64.tbz2           03-Sep-2021 11:59           104147101
fstar-2021.09.02_0.darwin_17.x86_64.tbz2.rmd160    03-Sep-2021 11:59                 512
fstar-2021.09.02_0.darwin_18.x86_64.tbz2           03-Sep-2021 15:18           104139875
fstar-2021.09.02_0.darwin_18.x86_64.tbz2.rmd160    03-Sep-2021 15:18                 512
fstar-2021.09.02_0.darwin_19.x86_64.tbz2           03-Sep-2021 21:24           104143577
fstar-2021.09.02_0.darwin_19.x86_64.tbz2.rmd160    03-Sep-2021 21:24                 512
fstar-2021.09.02_0.darwin_20.arm64.tbz2            02-Sep-2021 21:25           105376508
fstar-2021.09.02_0.darwin_20.arm64.tbz2.rmd160     02-Sep-2021 21:25                 512
fstar-2021.09.02_0.darwin_20.x86_64.tbz2           03-Sep-2021 19:59           104141343
fstar-2021.09.02_0.darwin_20.x86_64.tbz2.rmd160    03-Sep-2021 19:59                 512
fstar-2021.09.02_0.darwin_21.arm64.tbz2            15-Nov-2021 08:46           105467591
fstar-2021.09.02_0.darwin_21.arm64.tbz2.rmd160     15-Nov-2021 08:46                 512
fstar-2021.09.02_0.darwin_21.x86_64.tbz2           24-Dec-2021 04:31           104160225
fstar-2021.09.02_0.darwin_21.x86_64.tbz2.rmd160    24-Dec-2021 04:31                 512
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