btor2tools

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

Per-campaign pages

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

Recent runs

• 2026-10-29 10:54:25 UTC multiarch-fixes: worker-disappeared
• 2026-10-28 11:52:16 UTC multiarch-fixes: worker-disappeared
• 2026-10-27 09:32:53 UTC multiarch-fixes: worker-timeout
• 2026-10-26 18:23:48 UTC multiarch-fixes: worker-disappeared
• 2026-10-25 15:45:57 UTC multiarch-fixes: worker-timeout
• 2026-10-24 14:46:00 UTC multiarch-fixes: worker-disappeared
• 2026-10-23 15:44:10 UTC multiarch-fixes: worker-disappeared
• 2026-10-22 13:09:51 UTC multiarch-fixes: worker-disappeared
• 2026-10-21 15:21:23 UTC multiarch-fixes: worker-disappeared
• 2026-10-20 17:22:21 UTC multiarch-fixes: worker-disappeared
• 2026-10-19 11:16:08 UTC multiarch-fixes: worker-disappeared
• 2026-10-18 06:14:03 UTC multiarch-fixes: worker-timeout
• 2026-10-16 15:51:10 UTC multiarch-fixes: worker-timeout