Index of /macports-packages/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