tool for statically checking C programs for bugs
- The package has not yet entered testing
even though the 5-day
delay is over.
- The package has a debian/watch file, but the last attempt
to use it for checking for newer upstream versions failed with