Index of /packages/yices/

Name DateSize
../ 30-Aug-2025 14:35-
yices-2.6.5_0.darwin_10.ppc.tbz2 14-Feb-2025 04:474.0M
yices-2.6.5_0.darwin_10.ppc.tbz2.rmd160 14-Feb-2025 07:38256B
yices-2.7.0_0.darwin_10.ppc.tbz2 07-Aug-2025 11:304.1M
yices-2.7.0_0.darwin_10.ppc.tbz2.rmd160 07-Aug-2025 17:01256B