cvc4

• QA Page
• Maintainer email: debian-science-maintainers@lists.alioth.debian.org (QA Page)
• VCS: https://salsa.debian.org/science-team/cvc4.git

Per-campaign pages

• fresh-snapshots
• lintian-fixes
• scrub-obsolete
• unchanged

Recent runs

• 2026-10-18 00:11:06 UTC lintian-fixes: worker-timeout
• 2026-10-17 14:53:59 UTC unchanged: worker-timeout
• 2026-10-16 00:04:47 UTC lintian-fixes: worker-timeout
• 2026-10-15 18:05:39 UTC unchanged: worker-disappeared
• 2026-10-15 01:35:49 UTC unchanged: worker-timeout
• 2026-08-29 19:15:49 UTC unchanged: worker-disappeared
• 2026-05-06 21:30:25 UTC lintian-fixes: http-503