Experimental: Pseudo-Excuse for coquelicot
- Migration status for coquelicot (3.4.3-1 to 3.4.4-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- libcoq-coquelicot/amd64 has unsatisfiable dependency
- libcoq-coquelicot/arm64 has unsatisfiable dependency
- migrating libcoq-coquelicot/3.4.4-2+b1/amd64 to unstable makes Build-Depends of src:coq-interval uninstallable
- Autopkgtest for coq-interval: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for coquelicot: ppc64el: Test triggered, s390x: Test triggered
- Build-Depends(-Arch): coquelicot coq (not considered)
- Depends: coquelicot ssreflect (not considered)
- Implicit dependency: coquelicot coq-interval (not considered)
- Additional info (not blocking):
- Autopkgtest skipped on amd64: not installable
- Autopkgtest skipped on arm64: not installable
- Depends: coquelicot coq
- Depends: coquelicot coq-interval
- Depends: coquelicot ssreflect
Excuses generated on: Tue Mar 10 10:26:15 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).