proofgeneral

• QA Page
• Maintainer email: team+math@tracker.debian.org (QA Page)
• VCS: https://salsa.debian.org/math-team/proofgeneral.git

Per-campaign pages

• bookworm-backports
• fresh-snapshots
• lintian-fixes
• multiarch-fixes
• scrub-obsolete
• unchanged

Recent runs

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