This page is for a packaging branch for a program in Ubuntu. Changes should be made here to Ubuntu packaging or for changes specific to Ubuntu's needs. Changes to the program in general should be made on the upstream branch which is not currently known to Launchpad.
| Trusty — Supported | |||
| Name | Status | Last Modified | |
|---|---|---|---|
| lp:ubuntu/trusty/cbmc | Development | 2013-10-28 | |
| lp:ubuntu/trusty-proposed/cbmc | Mature | 2013-10-28 | |
| Precise — Supported | |||
| Name | Status | Last Modified | |
| lp:ubuntu/precise/cbmc | Mature | 2011-10-22 | |
