Lintian Fixes - picosat

• QA Page
• Maintainer email: debian-science-maintainers@lists.alioth.debian.org (QA Page)
• Branch URL: https://salsa.debian.org/science-team/picosat.git
• Last processed: 2026-04-26 04:42:11 UTC (worker-disappeared)
• Tags that might be fixable: debian-watch-does-not-check-openpgp-signature, debian-watch-uses-insecure-uri, upstream-metadata-missing-bug-tracking, upstream-metadata-missing-repository, obsolete-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, 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, old-fsf-address-in-copyright-file, old-fsf-address-in-copyright-file

Schedule a new run

No unpublished successful runs for picosat.

Recent runs

• 2026-04-26 04:42:11 UTC: worker-disappeared

Cross-campaign view for picosat