Lintian Fixes - frama-c

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2022-12-28T21:08 (took 1m49s)
• Branch URL: https://salsa.debian.org/ocaml-team/frama-c.git -b master (taken from version 20220511-manganese-5)
• Tags that might be fixable: debian-watch-does-not-check-openpgp-signature upstream-metadata-file-is-missing unused-license-paragraph-in-dep5-copyright
• Queue position: 161637 (a 95w3d wait)

Schedule a new run

Recent merge proposals

• https://salsa.debian.org/ocaml-team/frama-c/-/merge_requests/4 (merged)

No unpublished successful runs for frama-c.

Historical runs

• nothing-to-do: No changes made
• success:
• success:
• success:
• success:
• aborted: Killed by signal
• worker-clone-incomplete-read: IncompleteRead(0 bytes read)
• apt-broken-packages: Broken apt packages: E: Unable to correct problems, you have held broken packages.
• success:
• success: