Index of /sites/packages.macports.org/yices/

 Name                                       Last modified      Size  
 Parent Directory                                                -   
 yices-2.6.4_0.darwin_10.x86_64.tbz2        2022-12-28 07:55  3.7M  
 yices-2.6.4_0.darwin_10.x86_64.tbz2.rmd160 2022-12-28 07:55  512   
 yices-2.6.4_0.darwin_11.x86_64.tbz2        2022-12-28 07:53  3.3M  
 yices-2.6.4_0.darwin_11.x86_64.tbz2.rmd160 2022-12-28 07:54  512   
 yices-2.6.4_0.darwin_12.x86_64.tbz2        2022-12-28 07:54  3.5M  
 yices-2.6.4_0.darwin_12.x86_64.tbz2.rmd160 2022-12-28 07:54  512   
 yices-2.6.4_0.darwin_13.x86_64.tbz2        2022-12-28 07:54  3.5M  
 yices-2.6.4_0.darwin_13.x86_64.tbz2.rmd160 2022-12-28 07:54  512   
 yices-2.6.4_0.darwin_14.x86_64.tbz2        2022-12-28 07:56  3.4M  
 yices-2.6.4_0.darwin_14.x86_64.tbz2.rmd160 2022-12-28 07:56  512   
 yices-2.6.4_0.darwin_15.x86_64.tbz2        2022-12-28 07:58  3.5M  
 yices-2.6.4_0.darwin_15.x86_64.tbz2.rmd160 2022-12-28 07:58  512   
 yices-2.6.4_0.darwin_16.x86_64.tbz2        2022-12-28 07:56  3.4M  
 yices-2.6.4_0.darwin_16.x86_64.tbz2.rmd160 2022-12-28 07:56  512   
 yices-2.6.4_0.darwin_17.x86_64.tbz2        2022-12-28 08:04  3.5M  
 yices-2.6.4_0.darwin_17.x86_64.tbz2.rmd160 2022-12-28 08:04  512   
 yices-2.6.4_0.darwin_18.x86_64.tbz2        2022-12-28 08:11  3.7M  
 yices-2.6.4_0.darwin_18.x86_64.tbz2.rmd160 2022-12-28 08:11  512   
 yices-2.6.4_0.darwin_19.x86_64.tbz2        2022-12-28 08:02  3.6M  
 yices-2.6.4_0.darwin_19.x86_64.tbz2.rmd160 2022-12-28 08:02  512   
 yices-2.6.4_0.darwin_20.x86_64.tbz2        2022-12-28 08:00  3.6M  
 yices-2.6.4_0.darwin_20.x86_64.tbz2.rmd160 2022-12-28 08:00  512   
 yices-2.6.4_0.darwin_21.x86_64.tbz2        2022-12-28 08:04  3.6M  
 yices-2.6.4_0.darwin_21.x86_64.tbz2.rmd160 2022-12-28 08:04  512   
 yices-2.6.4_0.darwin_22.x86_64.tbz2        2022-12-28 17:29  3.6M  
 yices-2.6.4_0.darwin_22.x86_64.tbz2.rmd160 2022-12-28 17:29  512   
 yices-2.6.4_0.darwin_23.x86_64.tbz2        2023-11-22 18:36  3.4M  
 yices-2.6.4_0.darwin_23.x86_64.tbz2.rmd160 2023-11-22 18:36  512