Index of /macports/packages/fstar/
../
fstar-2022.06.08_0.darwin_21.arm64.tbz2 10-Jun-2022 20:33 104M
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 103M
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 104M
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 101M
fstar-2022.06.08_0.darwin_22.x86_64.tbz2.rmd160 09-Jan-2023 06:30 512