Index of /z3-fstar/?C=N&O=D

 Name                                                                                Last modified      Size  
 Parent Directory                                                                                         -   
 z3-fstar-4.8.5_5+lto+pgo+polly+polly_late+polly_vector.darwin_24.x86_64.tbz2.rmd160 2024-10-03 04:41  512   
 z3-fstar-4.8.5_5+lto+pgo+polly+polly_late+polly_vector.darwin_24.x86_64.tbz2        2024-10-03 04:41  5.2M