Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
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
-
-