Ubuntu
cryptominisat package

There are currently no open bugs.

"cryptominisat" versions published in Ubuntu

Noble (5.11.15+dfsg1-1.1build1): universe/misc
Mantic (5.11.4+dfsg1-3): universe/misc
Jammy (5.8.0+dfsg1-2): universe/misc