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-10-27 19:25:15 UTC (worker-timeout)
Tags that might be fixable: debian-watch-does-not-check-openpgp-signature, insecure-copyright-format-uri, package-uses-old-debhelper-compat-version, 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

No unpublished successful runs for proofgeneral.

Recent runs

2026-10-27 19:25:15 UTC: worker-timeout
2026-10-26 23:30:17 UTC: worker-disappeared
2026-10-25 06:31:07 UTC: worker-timeout
2026-10-24 07:45:07 UTC: worker-timeout
2026-05-07 21:40:36 UTC: worker-failure

Cross-campaign view for proofgeneral