todo
- Lintian reports 18 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning about this package.
- A new upstream version is available: 5.93.0, you should consider packaging it.
testing migration
excuses:- Migration status for cbmc (- to 5.12-5): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- Updating cbmc introduces new bugs: #984008.
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cbmc.html
- 590 days old (needed 5 days)
news RSS
- [2023-08-16] cbmc 5.89.0-2 MIGRATED to testing (Britney)
- [2023-08-09] Accepted 5.89.0-2 in unstable (low) (Debian FTP Masters)
- [2023-08-08] Accepted 5.89.0-1 in unstable (low) (Debian FTP Masters)
- [2023-07-06] cbmc 5.84.0-11 MIGRATED to testing (Britney)
- [2023-06-28] Accepted 5.84.0-11 in unstable (low) (Debian FTP Masters)
- [2023-06-28] Accepted 5.84.0-10 in unstable (low) (Debian FTP Masters)
- [2023-06-27] Accepted 5.84.0-9 in unstable (low) (Debian FTP Masters)
- [2023-06-27] Accepted 5.84.0-8 in unstable (low) (Debian FTP Masters)
- [2023-06-27] Accepted 5.84.0-7 in unstable (low) (Debian FTP Masters)
- [2023-06-26] Accepted 5.84.0-6 in unstable (low) (Debian FTP Masters)
- [2023-06-17] Accepted 5.84.0-5 in unstable (low) (Debian FTP Masters)
- [2023-06-14] Accepted 5.84.0-4 in unstable (low) (Debian FTP Masters)
- [2023-06-12] Accepted 5.84.0-3 in unstable (low) (Debian FTP Masters)
- [2023-06-04] Accepted 5.84.0-2 in unstable (low) (Debian FTP Masters)
- [2023-06-02] Accepted 5.84.0-1 in unstable (low) (Debian FTP Masters)
- [2021-10-27] cbmc REMOVED from testing (Britney)
- [2020-05-15] cbmc 5.12-5 MIGRATED to testing (Britney)
- [2020-05-04] Accepted 5.12-5 in unstable (low) (Debian FTP Masters)
- [2020-05-01] Accepted 5.12-4 in unstable (low) (Debian FTP Masters)
- [2020-04-30] Accepted 5.12-3 in unstable (low) (Debian FTP Masters)
- [2020-04-29] Accepted 5.12-2 in unstable (low) (Debian FTP Masters)
- [2020-04-28] Accepted 5.12-1 in unstable (low) (Debian FTP Masters)
- [2020-04-20] Accepted 5.10-5.1 in unstable (low) (Debian FTP Masters)
- [2018-10-28] cbmc 5.10-5 MIGRATED to testing (Britney)
- [2018-10-17] Accepted 5.10-5 in unstable (low) (Michael Tautschnig)
- [2018-10-11] cbmc 5.10-4 MIGRATED to testing (Britney)
- [2018-10-01] Accepted 5.10-4 in unstable (low) (Michael Tautschnig)
- [2018-09-30] Accepted 5.10-3 in unstable (low) (Michael Tautschnig)
- [2018-09-30] Accepted 5.10-2 in unstable (low) (Michael Tautschnig)
- [2018-09-29] Accepted 5.10-1 in unstable (low) (Michael Tautschnig)
