Index of /sites/packages.macports.org/z3-fstar/

 Name                                                                                         Last modified      Size  
 Parent Directory                                                                                                  -   
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_22.arm64.tbz2         2025-08-15 04:53  5.7M  
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_22.arm64.tbz2.rmd160  2025-08-15 04:53  512   
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_22.x86_64.tbz2        2025-08-30 21:57  6.2M  
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_22.x86_64.tbz2.rmd160 2025-08-30 21:57  512   
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_23.arm64.tbz2         2025-08-17 18:34  5.7M  
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_23.arm64.tbz2.rmd160  2025-08-17 18:34  512   
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_23.x86_64.tbz2        2025-08-30 16:04  6.1M  
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_23.x86_64.tbz2.rmd160 2025-08-30 16:04  512   
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_24.arm64.tbz2         2025-08-17 01:21  5.7M  
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_24.arm64.tbz2.rmd160  2025-08-17 01:21  512   
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_24.x86_64.tbz2        2025-08-30 08:47  6.1M  
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_24.x86_64.tbz2.rmd160 2025-08-30 08:47  512   
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_25.arm64.tbz2         2025-09-19 16:32  5.7M  
 z3-fstar-4.13.3_0+lto+pgo+polly+polly_late+polly_vector+threads.darwin_25.arm64.tbz2.rmd160  2025-09-19 16:32  512