Excuse for mathcomp-algebra-tactics
- Migration status for mathcomp-algebra-tactics (1.0.0-2 to 1.0.0-5): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
- Issues preventing migration:
- Depends: mathcomp-algebra-tactics coq-elpi (not considered)
- Invalidated by dependency
- Depends: mathcomp-algebra-tactics ssreflect
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/m/mathcomp-algebra-tactics.html
- 12 days old (needed 5 days)
- Depends: mathcomp-algebra-tactics coq-elpi (not considered)
- Depends: mathcomp-algebra-tactics ssreflect
Excuses generated Sat Jun 25 10:09:04 2022
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.