Versions Packages Information History Related Badges Report

Versions for yices

35 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 Linux p11 yices 2.3.0 Sciences/Mathematics real@altlinux.org
Arch Linux
extra
yices 2.6.4 - -
Arch Linux ARM aarch64
extra
yices 2.6.4 - -
Arch Linux ARM aarch64
community
yices 2.6.4 - -
Fedora 37
release
yices 2.6.4 Unspecified -
Fedora 38
release
yices 2.6.4 Unspecified -
Fedora 39
release
yices 2.6.4 Unspecified -
Fedora 39
updates
yices 2.6.4 Unspecified -
Fedora 40
updates
yices 2.6.5 Unspecified -
Fedora 40
release
yices 2.6.4 Unspecified -
Fedora 41
release
yices 2.6.5 Unspecified -
Fedora 42
release
yices 2.6.5 Unspecified -
Fedora 42
updates
yices 2.6.5 Unspecified -
Fedora Rawhide
development
yices 2.6.5 Unspecified -
FreeBSD Ports math/yices 2.6.5 math yuri@freebsd.org
GNU Guix yices 2.6.4 - -
MacPorts yices 2.6.5 math barracuda156@github
Manjaro Stable
extra
yices 2.6.4 - -
Manjaro Testing
extra
yices 2.6.4 - -
Manjaro Unstable
extra
yices 2.6.4 - -
MSYS2 clang64 mingw-w64-clang-x86_64-yices 2.6.2 - -
MSYS2 clangarm64 mingw-w64-clang-aarch64-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 - -
MSYS2 ucrt64 mingw-w64-ucrt-x86_64-yices 2.6.2 - -
nixpkgs stable 22.11 yices 2.6.4 - aseipp@pobox.com
nixpkgs stable 23.05 yices 2.6.4 - aseipp@pobox.com
nixpkgs stable 23.11 yices 2.6.4 - aseipp@pobox.com
nixpkgs stable 24.05 yices 2.6.4 - aseipp@pobox.com
nixpkgs stable 24.11 yices 2.6.5 - aseipp@pobox.com
nixpkgs stable 25.05 yices 2.6.5 - aseipp@pobox.com
nixpkgs unstable yices 2.6.5 - aseipp@pobox.com
Parabola
extra
yices 2.6.4 - -