There are currently no open bugs.

"cbmc" versions published in Ubuntu

Focal (5.10-5): universe/science
Eoan (5.10-5): universe/science
Disco (5.10-5): universe/science
Bionic (5.6-1): universe/science
Xenial (5.3-1): universe/science
Trusty (4.5-2ubuntu2): universe/science
Precise (4.0-4): universe/science