Index of /macports/packages/z3-fstar-legacy/
../
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_21.arm64.tbz2 12-Aug-2025 11:49 5M
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_21.arm64.tbz2.rmd160 12-Aug-2025 11:49 512
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_22.arm64.tbz2 15-Aug-2025 03:46 5M
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_22.arm64.tbz2.rmd160 15-Aug-2025 03:46 512
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_23.arm64.tbz2 17-Aug-2025 17:27 5M
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_23.arm64.tbz2.rmd160 17-Aug-2025 17:27 512
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_24.arm64.tbz2 17-Aug-2025 00:15 5M
z3-fstar-legacy-4.8.5_0+lto+pgo+polly+polly_late+polly_vector.darwin_24.arm64.tbz2.rmd160 17-Aug-2025 00:15 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_11.x86_64.tbz2 30-Aug-2025 08:16 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_11.x86_64.tbz2.rmd160 30-Aug-2025 08:16 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_12.x86_64.tbz2 30-Aug-2025 08:17 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_12.x86_64.tbz2.rmd160 30-Aug-2025 08:17 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_13.x86_64.tbz2 30-Aug-2025 08:05 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_13.x86_64.tbz2.rmd160 30-Aug-2025 08:05 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_14.x86_64.tbz2 30-Aug-2025 08:18 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_14.x86_64.tbz2.rmd160 30-Aug-2025 08:18 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_15.x86_64.tbz2 30-Aug-2025 08:11 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_15.x86_64.tbz2.rmd160 30-Aug-2025 08:11 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_16.x86_64.tbz2 30-Aug-2025 08:00 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_16.x86_64.tbz2.rmd160 30-Aug-2025 08:00 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_17.x86_64.tbz2 30-Aug-2025 08:22 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_17.x86_64.tbz2.rmd160 30-Aug-2025 08:22 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_18.x86_64.tbz2 30-Aug-2025 08:19 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_18.x86_64.tbz2.rmd160 30-Aug-2025 08:19 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_19.x86_64.tbz2 30-Aug-2025 08:01 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_19.x86_64.tbz2.rmd160 30-Aug-2025 08:01 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_20.arm64.tbz2 30-Aug-2025 23:12 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_20.arm64.tbz2.rmd160 30-Aug-2025 23:12 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_20.x86_64.tbz2 30-Aug-2025 07:52 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_20.x86_64.tbz2.rmd160 30-Aug-2025 07:52 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_21.arm64.tbz2 30-Aug-2025 03:07 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_21.arm64.tbz2.rmd160 30-Aug-2025 03:07 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_21.x86_64.tbz2 30-Aug-2025 10:23 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_21.x86_64.tbz2.rmd160 30-Aug-2025 10:23 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_22.arm64.tbz2 30-Aug-2025 06:06 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_22.arm64.tbz2.rmd160 30-Aug-2025 06:06 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_22.x86_64.tbz2 30-Aug-2025 20:46 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_22.x86_64.tbz2.rmd160 30-Aug-2025 20:46 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_23.arm64.tbz2 30-Aug-2025 06:35 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_23.arm64.tbz2.rmd160 30-Aug-2025 06:35 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_23.x86_64.tbz2 30-Aug-2025 14:52 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_23.x86_64.tbz2.rmd160 30-Aug-2025 14:52 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_24.arm64.tbz2 30-Aug-2025 06:36 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_24.arm64.tbz2.rmd160 30-Aug-2025 06:36 512
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_24.x86_64.tbz2 30-Aug-2025 07:36 5M
z3-fstar-legacy-4.8.5_7+lto+pgo+polly+polly_late+polly_vector.darwin_24.x86_64.tbz2.rmd160 30-Aug-2025 07:36 512