There are currently no open bugs.

"cryptominisat" versions published in Ubuntu

Kinetic (5.8.0+dfsg1-2): universe/misc
Jammy (5.8.0+dfsg1-2): universe/misc