There are currently no open bugs.

"cbmc" versions published in Ubuntu

Bionic (5.6-1): universe/science
Artful (5.6-1): universe/science
Xenial (5.3-1): universe/science
Trusty (4.5-2ubuntu2): universe/science
Precise (4.0-4): universe/science