Index of /macports/packages/fstar/

File NameFile SizeDate
Parent directory/--
fstar-2022.06.08_0.darwin_21.arm64.tbz2 104M10-Jun-2022 20:33
fstar-2022.06.08_0.darwin_21.arm64.tbz2.rmd160 51210-Jun-2022 20:33
fstar-2022.06.08_0.darwin_21.x86_64.tbz2 103M10-Jun-2022 20:46
fstar-2022.06.08_0.darwin_21.x86_64.tbz2.rmd160 51210-Jun-2022 20:46
fstar-2022.06.08_0.darwin_22.arm64.tbz2 104M08-Mar-2023 18:05
fstar-2022.06.08_0.darwin_22.arm64.tbz2.rmd160 51208-Mar-2023 18:05
fstar-2022.06.08_0.darwin_22.x86_64.tbz2 101M09-Jan-2023 06:30
fstar-2022.06.08_0.darwin_22.x86_64.tbz2.rmd160 51209-Jan-2023 06:30