Lintian Fixes - proofgeneral

• QA Page
• Maintainer email: team+math@tracker.debian.org (QA Page)
• Branch URL: https://salsa.debian.org/math-team/proofgeneral.git
• Last processed: 2026-05-07 21:40:36 UTC (worker-failure)
• Tags that might be fixable: debian-watch-does-not-check-openpgp-signature, insecure-copyright-format-uri, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, trailing-whitespace, older-debian-watch-file-standard, old-fsf-address-in-copyright-file, old-fsf-address-in-copyright-file, old-fsf-address-in-copyright-file, old-fsf-address-in-copyright-file, old-fsf-address-in-copyright-file, old-fsf-address-in-copyright-file

Schedule a new run

No unpublished successful runs for proofgeneral.

Recent runs

• 2026-05-07 21:40:36 UTC: worker-failure

Cross-campaign view for proofgeneral