Versions Packages Information History Related Badges Report

Versions for cryptominisat

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