Lintian Fixes - proofgeneral
- QA Page
- Maintainer email: team+math@tracker.debian.org (QA Page)
- Branch URL: https://salsa.debian.org/math-team/proofgeneral.git
- 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
No unpublished successful runs for proofgeneral.