There are currently no open bugs.

"minisat2" versions published in Ubuntu

Bionic (1:2.2.1-5build1): universe/science
Artful (1:2.2.1-5): universe/science
Xenial (1:2.2.1-5): universe/science
Trusty (1:2.2.1-4): universe/science
Precise (1:2.2.1-3): universe/science