Repository |
Package name |
Version |
Category |
Maintainer(s) |
AOSC |
cryptominisat2 |
5.8.0 |
math |
fallback-mnt-aosc@repology |
Arch community |
cryptominisat5 |
5.8.0 |
- |
- |
Arch Linux 32 i486 community |
cryptominisat5 |
5.8.0 |
- |
- |
Arch Linux 32 i686 community |
cryptominisat5 |
5.8.0 |
- |
- |
Arch Linux 32 pentium4 community |
cryptominisat5 |
5.8.0 |
- |
- |
Arch Linux ARM aarch64 community |
cryptominisat5 |
5.8.0 |
- |
- |
Arch Linux ARM aarch64 community |
cryptominisat |
2.9.11 |
- |
- |
Arch Linux ARM armv7h community |
cryptominisat5 |
5.8.0 |
- |
- |
Arch Linux ARM armv7h 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.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Debian Unstable sid/main |
cryptominisat |
5.8.0 |
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.8.0 |
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 Rawhide development |
cryptominisat |
5.8.0 |
Unspecified |
- |
FreeBSD Ports |
math/cryptominisat |
5.8.0 |
math |
arrowd@freebsd.org |
Gentoo |
sci-mathematics/cryptominisat |
5.8.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
Homebrew |
cryptominisat |
5.8.0 |
- |
- |
Kali Linux Rolling main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
LiGurOS stable |
sci-mathematics/cryptominisat |
5.8.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
LiGurOS develop |
sci-mathematics/cryptominisat |
5.8.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
Manjaro Stable community |
cryptominisat5 |
5.8.0 |
- |
- |
Manjaro Testing community |
cryptominisat5 |
5.8.0 |
- |
- |
Manjaro Unstable community |
cryptominisat5 |
5.8.0 |
- |
- |
nixpkgs stable 21.05 |
cryptominisat |
5.8.0 |
- |
joerg@thalheim.io |
nixpkgs stable 21.11 |
cryptominisat |
5.8.0 |
- |
joerg@thalheim.io |
nixpkgs stable 22.05 |
cryptominisat |
5.8.0 |
- |
joerg@thalheim.io |
nixpkgs unstable |
cryptominisat |
5.8.0 |
- |
joerg@thalheim.io |
Parabola community |
cryptominisat5 |
5.8.0 |
- |
- |
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.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@debian.org, julian.rueth@fsfe.org |
Raspbian Oldstable main |
cryptominisat |
5.6.4 |
misc |
debian-science-maintainers@lists.alioth.debian.org, julian.rueth@fsfe.org |
Raspbian Stable main |
cryptominisat |
5.8.0 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jpuydt@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 2021.1 contrib/release |
cryptominisat |
2.9.8 |
Sciences/Mathematics |
m.novosyolov@rosalinux.ru |
SageMath stable |
cryptominisat |
5.6.8 |
- |
- |
SageMath development |
cryptominisat |
5.6.8 |
- |
- |
SlackBuilds |
academic/cryptominisat |
5.7.1 |
academic |
avenorsa@email.arispamzona.edu |
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 |
Ubuntu 21.10 impish/universe |
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 22.10 kinetic/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 |
- |