Index of /yices/?C=M&O=A

 Name                                       Last modified      Size  
 Parent Directory                                                -   
 yices-2.6.5_0.darwin_21.arm64.tbz2         2024-06-28 14:58  3.5M  
 yices-2.6.5_0.darwin_21.arm64.tbz2.rmd160  2024-06-28 14:58  512   
 yices-2.6.5_0.darwin_11.x86_64.tbz2        2024-06-28 15:04  3.3M  
 yices-2.6.5_0.darwin_11.x86_64.tbz2.rmd160 2024-06-28 15:04  512   
 yices-2.6.5_0.darwin_14.x86_64.tbz2        2024-06-28 15:05  3.4M  
 yices-2.6.5_0.darwin_14.x86_64.tbz2.rmd160 2024-06-28 15:05  512   
 yices-2.6.5_0.darwin_17.x86_64.tbz2        2024-06-28 15:05  3.5M  
 yices-2.6.5_0.darwin_17.x86_64.tbz2.rmd160 2024-06-28 15:05  512   
 yices-2.6.5_0.darwin_16.x86_64.tbz2        2024-06-28 15:06  3.4M  
 yices-2.6.5_0.darwin_16.x86_64.tbz2.rmd160 2024-06-28 15:06  512   
 yices-2.6.5_0.darwin_10.x86_64.tbz2        2024-06-28 15:06  3.6M  
 yices-2.6.5_0.darwin_10.x86_64.tbz2.rmd160 2024-06-28 15:06  512   
 yices-2.6.5_0.darwin_13.x86_64.tbz2        2024-06-28 15:06  3.5M  
 yices-2.6.5_0.darwin_13.x86_64.tbz2.rmd160 2024-06-28 15:06  512   
 yices-2.6.5_0.darwin_12.x86_64.tbz2        2024-06-28 15:07  3.5M  
 yices-2.6.5_0.darwin_12.x86_64.tbz2.rmd160 2024-06-28 15:07  512   
 yices-2.6.5_0.darwin_15.x86_64.tbz2        2024-06-28 15:07  3.5M  
 yices-2.6.5_0.darwin_15.x86_64.tbz2.rmd160 2024-06-28 15:07  512   
 yices-2.6.5_0.darwin_22.x86_64.tbz2        2024-06-28 15:28  3.5M  
 yices-2.6.5_0.darwin_22.x86_64.tbz2.rmd160 2024-06-28 15:28  512   
 yices-2.6.5_0.darwin_19.x86_64.tbz2        2024-06-28 16:36  3.6M  
 yices-2.6.5_0.darwin_19.x86_64.tbz2.rmd160 2024-06-28 16:36  512   
 yices-2.6.5_0.darwin_18.x86_64.tbz2        2024-06-28 16:39  3.6M  
 yices-2.6.5_0.darwin_18.x86_64.tbz2.rmd160 2024-06-28 16:39  512   
 yices-2.6.5_0.darwin_20.x86_64.tbz2        2024-06-28 16:42  3.6M  
 yices-2.6.5_0.darwin_20.x86_64.tbz2.rmd160 2024-06-28 16:42  512   
 yices-2.6.5_0.darwin_21.x86_64.tbz2        2024-06-28 16:56  3.6M  
 yices-2.6.5_0.darwin_21.x86_64.tbz2.rmd160 2024-06-28 16:56  512   
 yices-2.6.5_0.darwin_23.arm64.tbz2         2024-06-28 17:24  3.4M  
 yices-2.6.5_0.darwin_23.arm64.tbz2.rmd160  2024-06-28 17:24  512   
 yices-2.6.5_0.darwin_22.arm64.tbz2         2024-06-28 21:06  3.4M  
 yices-2.6.5_0.darwin_22.arm64.tbz2.rmd160  2024-06-28 21:06  512   
 yices-2.6.5_0.darwin_23.x86_64.tbz2        2024-06-28 23:37  3.4M  
 yices-2.6.5_0.darwin_23.x86_64.tbz2.rmd160 2024-06-28 23:37  512   
 yices-2.6.5_0.darwin_24.x86_64.tbz2        2024-10-11 05:15  3.4M  
 yices-2.6.5_0.darwin_24.x86_64.tbz2.rmd160 2024-10-11 05:15  512