Testing: Excuse for proofgeneral
- Migration status for proofgeneral (- to 4.5-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- Updating proofgeneral would introduce bugs in testing: #1077126
- Additional info:
Excuses generated on: Sat Aug 31 23:05:09 2024 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).