/macports/packages/fstar/

0 directories 8 files
Name Size Modified
Go up
fstar-2022.06.08_0.darwin_21.arm64.tbz2 104 MiB
fstar-2022.06.08_0.darwin_21.arm64.tbz2.rmd160 512 B
fstar-2022.06.08_0.darwin_21.x86_64.tbz2 103 MiB
fstar-2022.06.08_0.darwin_21.x86_64.tbz2.rmd160 512 B
fstar-2022.06.08_0.darwin_22.arm64.tbz2 104 MiB
fstar-2022.06.08_0.darwin_22.arm64.tbz2.rmd160 512 B
fstar-2022.06.08_0.darwin_22.x86_64.tbz2 101 MiB
fstar-2022.06.08_0.darwin_22.x86_64.tbz2.rmd160 512 B