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 - -