Versions Packages Information History Related Badges Report

Versions for cryptominisat

47 package(s) known

Repository Package name Version Category Maintainer(s)
AOSC cryptominisat2 5.8.0 math fallback-mnt-aosc@repology
Arch
community
cryptominisat5 5.8.0 - -
AUR cryptominisat5-git 5.6.8.r171.gc1b9ed65 - keenerd@aur
AUR cryptominisat4 4.5.3 - keenerd@aur
Debian Testing
testing/main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Debian Unstable
main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Devuan 4.0 (Chimaera)
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.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
DPorts math/cryptominisat 5.8.0 math arrowd@freebsd.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 Rawhide cryptominisat 5.8.0 Unspecified -
FreeBSD Ports math/cryptominisat 5.8.0 math arrowd@freebsd.org
Homebrew cryptominisat 5.8.0 - -
Hyperbola
community
cryptominisat2 2.9.11 - -
Kali Linux Rolling
main
cryptominisat 5.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Linuxbrew cryptominisat 5.8.0 - -
Manjaro Stable
community
cryptominisat5 5.8.0 - -
Manjaro Testing
community
cryptominisat5 5.8.0 - -
Manjaro Unstable
community
cryptominisat5 5.8.0 - -
nixpkgs stable cryptominisat 5.8.0 - joerg@thalheim.io
nixpkgs unstable cryptominisat 5.8.0 - joerg@thalheim.io
Parabola
community
cryptominisat5 5.8.0 - -
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.8.0 misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Raspbian Stable
main
cryptominisat 5.6.4 misc debian-science-maintainers@lists.alioth.debian.org, julian.rueth@fsfe.org
Raspbian Testing
main
cryptominisat 5.8.0 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 2019.1
contrib/release
cryptominisat 2.9.8 Sciences/Mathematics m.novosyolov@rosalinux.ru
SageMath cryptominisat 5.6.8 - -
SlackBuilds academic/cryptominisat 5.7.1 academic avenorsa@email.arispamzona.edu
Ubuntu 20.10
groovy/universe
cryptominisat 5.8.0 universe/misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
Ubuntu 21.04
hirsute/universe
cryptominisat 5.8.0 universe/misc debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org
YACP cryptominisat 5.8.0 Math -