There are currently no open bugs.

"cryptominisat" versions published in Ubuntu

Impish (5.8.0+dfsg1-1build2): universe/misc
Hirsute (5.8.0+dfsg1-1build2): universe/misc