Index of /macports-packages/fstar/

../
fstar-2025.03.25_0.darwin_23.arm64.tbz2            18-Apr-2026 03:28           120803297
fstar-2025.03.25_0.darwin_23.arm64.tbz2.rmd160     18-Apr-2026 03:28                 512
fstar-2025.03.25_0.darwin_23.x86_64.tbz2           16-Apr-2026 02:23           117822884
fstar-2025.03.25_0.darwin_23.x86_64.tbz2.rmd160    16-Apr-2026 02:23                 512
fstar-2025.03.25_0.darwin_24.arm64.tbz2            17-Apr-2026 14:43           120801344
fstar-2025.03.25_0.darwin_24.arm64.tbz2.rmd160     17-Apr-2026 14:43                 512
fstar-2025.03.25_0.darwin_24.x86_64.tbz2           16-Apr-2026 00:39           117841080
fstar-2025.03.25_0.darwin_24.x86_64.tbz2.rmd160    16-Apr-2026 00:39                 512
fstar-2025.03.25_0.darwin_25.arm64.tbz2            17-Apr-2026 07:16           120801433
fstar-2025.03.25_0.darwin_25.arm64.tbz2.rmd160     17-Apr-2026 07:16                 512