Versions Packages Information History Related Badges Report

Versions for yices

25 package(s) known

Repository Package name Version Category Maintainer(s)
ALT Linux p9 yices 2.3.0 Sciences/Mathematics -
ALT Sisyphus yices 2.3.0 Sciences/Mathematics -
Arch
community
yices 2.6.2 - -
DPorts math/yices 2.6.2 math yuri@freebsd.org
Fedora 27
updates
yices 2.5.4 Unspecified -
Fedora 28
release
yices 2.5.4 Unspecified -
Fedora 29
updates
yices 2.6.1 Unspecified -
Fedora 29
release
yices 2.6.0 Unspecified -
Fedora 30
release
yices 2.6.1 Unspecified -
Fedora 31
release
yices 2.6.1 Unspecified -
Fedora 32
release
yices 2.6.2 Unspecified -
Fedora 32
updates
yices 2.6.2 Unspecified -
Fedora 33
release
yices 2.6.2 Unspecified -
Fedora 33
updates
yices 2.6.2 Unspecified -
Fedora 34
release
yices 2.6.2 Unspecified -
Fedora Rawhide yices 2.6.2 Unspecified -
FreeBSD Ports math/yices 2.6.2 math yuri@freebsd.org
Manjaro Stable
community
yices 2.6.2 - -
Manjaro Testing
community
yices 2.6.2 - -
Manjaro Unstable
community
yices 2.6.2 - -
MSYS2 mingw
x86_64
mingw-w64-x86_64-yices 2.6.2 - -
MSYS2 mingw
i686
mingw-w64-i686-yices 2.6.2 - -
nixpkgs stable yices 2.6.1 - aseipp@pobox.com
nixpkgs unstable yices 2.6.1 - aseipp@pobox.com
Parabola
community
yices 2.6.2 - -