Versions Packages Information History Related Badges Report

Versions for yices

36 package(s) known

Repository Package name Version Category Maintainer(s)
ALT Linux p9 yices 2.3.0 Sciences/Mathematics real@altlinux.org
ALT Linux p10 yices 2.3.0 Sciences/Mathematics real@altlinux.org
ALT Sisyphus yices 2.3.0 Sciences/Mathematics real@altlinux.org
Arch
community		 yices 2.6.4 - -
Arch Linux 32 i486
community		 yices 2.6.4 - -
Arch Linux 32 i686
community		 yices 2.6.3 - -
Arch Linux 32 pentium4
community		 yices 2.6.4 - -
Arch Linux ARM aarch64
community		 yices 2.6.4 - -
Arch Linux ARM armv7h
community		 yices 2.6.4 - -
DPorts math/yices 2.6.4 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 35
updates		 yices 2.6.4 Unspecified -
Fedora 35
release		 yices 2.6.2 Unspecified -
Fedora 36
release		 yices 2.6.4 Unspecified -
Fedora Rawhide
development		 yices 2.6.4 Unspecified -
FreeBSD Ports math/yices 2.6.4 math yuri@freebsd.org
Manjaro Stable
community		 yices 2.6.4 - -
Manjaro Testing
community		 yices 2.6.4 - -
Manjaro Unstable
community		 yices 2.6.4 - -
MSYS2 mingw
x86_64		 mingw-w64-x86_64-yices 2.6.2 - -
MSYS2 mingw
i686		 mingw-w64-i686-yices 2.6.2 - -
nixpkgs stable 21.05 yices 2.6.1 - aseipp@pobox.com
nixpkgs stable 21.11 yices 2.6.2 - aseipp@pobox.com
nixpkgs stable 22.05 yices 2.6.4 - aseipp@pobox.com
nixpkgs unstable yices 2.6.4 - aseipp@pobox.com
Parabola
community		 yices 2.6.4 - -