There are currently no open bugs.

"cbmc" versions published in Ubuntu

Disco (5.10-5): universe/science
Cosmic (5.9-6): 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