Among the 23 debian patches
available in version 6.6.0-4 of the package,
we noticed the following issues:
- 23 patches
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/cbmc.png){kind=link}