Excuse for cbmc
- Migration status: BLOCKED: Rejected/introduces a regression
- 561 days old (needed 5 days)
- Updating cbmc introduces new bugs: #871068
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cbmc.html
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.