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