Testing Excuses for proofgeneral -- Debian Quality Assurance

Testing: Excuse for proofgeneral

Migration status for proofgeneral (- to 4.5-2): BLOCKED: Rejected/violates migration policy/introduces a regression
Issues preventing migration:

Updating proofgeneral would introduce bugs in testing: #1077126

Additional info:

Piuparts tested OK - https://piuparts.debian.org/sid/source/p/proofgeneral.html
Reproducible on amd64 - info ♻
Reproducible on arm64 - info ♻
Waiting for reproducibility test results on armhf - info ♻
Reproducible on i386 - info ♻
17 days old (needed 5 days)

Excuses generated on: Thu Oct 3 19:05:17 2024 UTC

Maintainer page Package tracker

Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.

Experimental manual migration pseudo-excuses (YAML).