Index of /macports/packages/fstar/
../
fstar-2022.06.08_0.darwin_21.arm64.tbz2 10-Jun-2022 23:33 104M
fstar-2022.06.08_0.darwin_21.arm64.tbz2.rmd160 10-Jun-2022 23:33 512
fstar-2022.06.08_0.darwin_21.x86_64.tbz2 10-Jun-2022 23:46 103M
fstar-2022.06.08_0.darwin_21.x86_64.tbz2.rmd160 10-Jun-2022 23:46 512
fstar-2022.06.08_0.darwin_22.arm64.tbz2 08-Mar-2023 21:05 104M
fstar-2022.06.08_0.darwin_22.arm64.tbz2.rmd160 08-Mar-2023 21:05 512
fstar-2022.06.08_0.darwin_22.x86_64.tbz2 09-Jan-2023 09:30 101M
fstar-2022.06.08_0.darwin_22.x86_64.tbz2.rmd160 09-Jan-2023 09:30 512