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