Versions Packages Information History Related Badges Report

Versions for cryptominisat

Repository Package name Version Category Maintainer(s)
AOSC cryptominisat2 2.9.11 math jeffbai@aosc.xyz
Arch
community
cryptominisat5 5.6.3 - keenerd@gmail.com
AUR cryptominisat4 4.5.3 - keenerd@aur
DPorts cryptominisat 5.0.1 math 6yearold@gmail.com
Fedora 26
release
cryptominisat4 4.5.3 Unspecified fallback-mnt-fedora_26@repology
Fedora 26
release
cryptominisat 2.9.11 Unspecified fallback-mnt-fedora_26@repology
Fedora 27
release
cryptominisat4 4.5.3 Unspecified fallback-mnt-fedora_27@repology
Fedora 27
release
cryptominisat 2.9.11 Unspecified fallback-mnt-fedora_27@repology
Fedora 28
updates
cryptominisat 5.6.3 Unspecified fallback-mnt-fedora_28@repology
Fedora 28
release
cryptominisat 5.0.1 Unspecified fallback-mnt-fedora_28@repology
Fedora 28
release
cryptominisat4 4.5.3 Unspecified fallback-mnt-fedora_28@repology
Fedora Rawhide cryptominisat 5.6.3 Unspecified fallback-mnt-fedora_rawhide@repology
Fedora Rawhide cryptominisat4 4.5.3 Unspecified fallback-mnt-fedora_rawhide@repology
FreeBSD Ports cryptominisat 5.6.1 math arrowd@freebsd.org
Hyperbola
community
cryptominisat2 2.9.11 - arojas@archlinux.org
Manjaro Stable
community
cryptominisat5 5.0.1 - felixonmars@archlinux.org
Manjaro Testing
community
cryptominisat5 5.6.3 - keenerd@gmail.com
Manjaro Unstable
community
cryptominisat5 5.6.3 - keenerd@gmail.com
nixpkgs stable cryptominisat 5.0.1 - joerg@thalheim.io
nixpkgs unstable cryptominisat 5.0.1 - joerg@thalheim.io
Parabola
community
cryptominisat5 5.6.3 - keenerd@gmail.com
Rosa 2014.1
contrib/release
cryptominisat 2.9.8 - fallback-mnt-rosa_2014_1@repology
Rosa 2016.1
contrib/release
cryptominisat 2.9.8 - fallback-mnt-rosa_2016_1@repology
YACP cryptominisat 5.0.1 - fallback-mnt-yacp@repology

Absent in repositories