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