Versions Packages Information History Related Badges Report

Versions for cryptominisat

76 package(s) known

Repository Package name Version Category Maintainer(s)
Arch
extra
cryptominisat 5.11.14 - -
Arch Linux 32 i486
extra
cryptominisat5 5.8.0 - -
Arch Linux 32 i686
extra
cryptominisat5 5.11.4 - -
Arch Linux 32 pentium4
extra
cryptominisat5 5.11.4 - -
Arch Linux ARM aarch64
extra
cryptominisat5 5.11.12 - -
Arch Linux ARM aarch64
community
cryptominisat5 5.11.4 - -
Arch Linux ARM aarch64
extra
cryptominisat 2.9.11 - -
Arch Linux ARM aarch64
community
cryptominisat 2.9.11 - -
AUR cryptominisat5-git 5.6.8.r171.gc1b9ed65 - keenerd@aur
AUR cryptominisat4 4.5.3 - keenerd@aur
Debian 11
bullseye/main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Debian 12
bookworm/main
cryptominisat 5.11.4 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Debian 13
trixie/main
cryptominisat 5.11.4 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Debian Unstable
sid/main
cryptominisat 5.11.4 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Devuan 4.0
chimaera/main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Devuan Unstable
unstable/main
cryptominisat 5.11.4 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Fedora 26
release
cryptominisat4 4.5.3 Unspecified -
Fedora 26
release
cryptominisat 2.9.11 Unspecified -
Fedora 27
release
cryptominisat4 4.5.3 Unspecified -
Fedora 27
release
cryptominisat 2.9.11 Unspecified -
Fedora 28
updates
cryptominisat 5.6.4 Unspecified -
Fedora 28
release
cryptominisat 5.0.1 Unspecified -
Fedora 28
release
cryptominisat4 4.5.3 Unspecified -
Fedora 29
release
cryptominisat 5.6.4 Unspecified -
Fedora 30
release
cryptominisat 5.6.8 Unspecified -
Fedora 31
release
cryptominisat 5.6.8 Unspecified -
Fedora 32
updates
cryptominisat 5.7.1 Unspecified -
Fedora 32
release
cryptominisat 5.6.8 Unspecified -
Fedora 33
updates
cryptominisat 5.8.0 Unspecified -
Fedora 33
release
cryptominisat 5.7.1 Unspecified -
Fedora 34
release
cryptominisat 5.8.0 Unspecified -
Fedora 35
release
cryptominisat 5.8.0 Unspecified -
Fedora 36
release
cryptominisat 5.8.0 Unspecified -
Fedora 37
release
cryptominisat 5.8.0 Unspecified -
Fedora 38
release
cryptominisat 5.8.0 Unspecified -
Fedora 39
development
cryptominisat 5.8.0 Unspecified -
Fedora Rawhide
development
cryptominisat 5.8.0 Unspecified -
FreeBSD Ports math/cryptominisat 5.11.11 math arrowd@freebsd.org
Gentoo sci-mathematics/cryptominisat 5.11.14 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/cryptominisat 5.11.12 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/cryptominisat 5.11.11 sci-mathematics sci-mathematics@gentoo.org
GNU Guix cryptominisat 5.11.4 - -
Homebrew cryptominisat 5.11.14 - -
Kali Linux Rolling
main
cryptominisat 5.11.4 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
LiGurOS stable sci-mathematics/cryptominisat 5.11.12 sci-mathematics sci-mathematics@gentoo.org
LiGurOS stable sci-mathematics/cryptominisat 5.11.11 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/cryptominisat 5.11.14 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/cryptominisat 5.11.12 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/cryptominisat 5.11.11 sci-mathematics sci-mathematics@gentoo.org
Manjaro Stable
extra
cryptominisat5 5.11.12 - -
Manjaro Testing
extra
cryptominisat 5.11.14 - -
Manjaro Unstable
extra
cryptominisat 5.11.14 - -
nixpkgs stable 21.11 cryptominisat 5.8.0 - joerg@thalheim.io
nixpkgs stable 22.05 cryptominisat 5.8.0 - joerg@thalheim.io
nixpkgs stable 22.11 cryptominisat 5.8.0 - joerg@thalheim.io
nixpkgs stable 23.05 cryptominisat 5.11.4 - joerg@thalheim.io
nixpkgs unstable cryptominisat 5.11.12 - joerg@thalheim.io
Parabola
extra
cryptominisat 5.11.14 - -
Pardus 21
main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Parrot
parrot-updates/main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Parrot
parrot/main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
PureOS landing cryptominisat 5.11.4 math debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Raspbian Oldstable
main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Raspbian Stable
main
cryptominisat 5.11.4 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Raspbian Testing
main
cryptominisat 5.11.4 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Rosa 2014.1
contrib/release
cryptominisat 2.9.8 - -
Rosa 2016.1
contrib/release
cryptominisat 2.9.8 - -
Rosa 2021.1
contrib/release
cryptominisat 5.11.4 Sciences/Mathematics a.proklov@rosalinux.ru
SageMath stable cryptominisat 5.8.0 - -
SageMath development cryptominisat 5.8.0 - -
SlackBuilds academic/cryptominisat 5.11.3 academic avenorsa@email.arispamzona.edu
Trisquel 11.0
aramo/main
cryptominisat 5.8.0 universe/misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Ubuntu 22.04
jammy/universe
cryptominisat 5.8.0 universe/misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Ubuntu 23.04
lunar/universe
cryptominisat 5.11.4 universe/misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Ubuntu 23.10
mantic/universe
cryptominisat 5.11.4 universe/misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
YACP cryptominisat 5.11.4 Math -