Versions Packages Information History Related Badges Report

Packages for yices

25 package(s) known

yices

2.3.0 (2.3.0-alt3)

yices

2.3.0 (2.3.0-alt4)
Arch
community

yices

2.6.2 (2.6.2-2)

math/yices

2.6.2
Fedora 27
updates

yices

2.5.4 (2.5.4-2.fc27)
Fedora 28
release

yices

2.5.4 (2.5.4-3.fc28)
Fedora 29
updates

yices

2.6.1 (2.6.1-1.fc29)
Fedora 29
release

yices

2.6.0 (2.6.0-2.fc29)
Fedora 30
release

yices

2.6.1 (2.6.1-2.fc30)
Fedora 31
release

yices

2.6.1 (2.6.1-3.fc31)
Fedora 32
release

yices

2.6.2 (2.6.2-1.fc32)
Fedora 32
updates

yices

2.6.2 (2.6.2-3.fc32)
Fedora 33
release

yices

2.6.2 (2.6.2-5.fc33)
Fedora 33
updates

yices

2.6.2 (2.6.2-6.fc33)
Fedora 34
release

yices

2.6.2 (2.6.2-7.fc34)

yices

2.6.2 (2.6.2-8.fc35)
Manjaro Stable
community

yices

2.6.2 (2.6.2-2)
Manjaro Testing
community

yices

2.6.2 (2.6.2-2)

yices

2.6.2 (2.6.2-2)

mingw-w64-i686-yices

2.6.2 (2.6.2-1)

mingw-w64-x86_64-yices

2.6.2 (2.6.2-1)

yices

2.6.1

yices

2.6.1
Parabola
community

yices

2.6.2 (2.6.2-2)