There are currently no open bugs.

"cryptominisat" versions published in Ubuntu

Eoan (5.6.4+dfsg.1-1ubuntu1): universe/misc
Disco (5.6.4+dfsg.1-1ubuntu1): universe/misc