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