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