There are currently no open bugs.

"cryptominisat" versions published in Ubuntu

Groovy (5.8.0+dfsg1-1): universe/misc
Eoan (5.6.4+dfsg.1-1ubuntu1): universe/misc