Index of /macports-packages/fstar/

../
fstar-2026.03.24_2.darwin_22.arm64.tbz2            03-Jul-2026 04:38           124273957
fstar-2026.03.24_2.darwin_22.arm64.tbz2.rmd160     03-Jul-2026 04:38                 512
fstar-2026.03.24_2.darwin_22.x86_64.tbz2           01-Jul-2026 01:41           120944447
fstar-2026.03.24_2.darwin_22.x86_64.tbz2.rmd160    01-Jul-2026 01:41                 512
fstar-2026.03.24_2.darwin_23.arm64.tbz2            01-Jul-2026 13:45           124286557
fstar-2026.03.24_2.darwin_23.arm64.tbz2.rmd160     01-Jul-2026 13:45                 512
fstar-2026.03.24_2.darwin_23.x86_64.tbz2           30-Jun-2026 14:15           120984440
fstar-2026.03.24_2.darwin_23.x86_64.tbz2.rmd160    30-Jun-2026 14:15                 512
fstar-2026.03.24_2.darwin_24.arm64.tbz2            30-Jun-2026 19:19           124309648
fstar-2026.03.24_2.darwin_24.arm64.tbz2.rmd160     30-Jun-2026 19:19                 512
fstar-2026.03.24_2.darwin_24.x86_64.tbz2           30-Jun-2026 00:28           121006388
fstar-2026.03.24_2.darwin_24.x86_64.tbz2.rmd160    30-Jun-2026 00:28                 512
fstar-2026.03.24_2.darwin_25.arm64.tbz2            30-Jun-2026 15:17           124308802
fstar-2026.03.24_2.darwin_25.arm64.tbz2.rmd160     30-Jun-2026 15:17                 512