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