Excuse for coq-elpi
- Migration status for coq-elpi (1.13.0-7 to 1.14.0-2): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-elpi.html
- Depends: coq-elpi elpi
- Depends: coq-elpi menhir
Excuses generated Tue May 24 06:09:01 2022
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.