Experimental: Pseudo-Excuse for ocaml
- Migration status for ocaml (5.4.0-3 to 5.4.1-1~exp1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- migrating libcompiler-libs-ocaml-dev/5.4.1-1~exp1/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b3/amd64 uninstallable
- migrating libstdlib-ocaml/5.4.1-1~exp1/amd64 to unstable makes coq/8.20.1+dfsg-1+b3/amd64 uninstallable
- migrating libstdlib-ocaml/5.4.1-1~exp1/amd64 to unstable makes hlins/0.40-1+b4/amd64 uninstallable
- migrating libstdlib-ocaml/5.4.1-1~exp1/amd64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b3/amd64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.1-1~exp1/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b3/amd64 uninstallable
- migrating ocaml/5.4.1-1~exp1/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b3/amd64 uninstallable
- migrating ocaml-base/5.4.1-1~exp1/amd64 to unstable makes coq/8.20.1+dfsg-1+b3/amd64 uninstallable
- migrating ocaml-base/5.4.1-1~exp1/amd64 to unstable makes hlins/0.40-1+b4/amd64 uninstallable
- migrating ocaml-base/5.4.1-1~exp1/amd64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b3/amd64 uninstallable
- migrating libcompiler-libs-ocaml-dev/5.4.1-1~exp1/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b4/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.1-1~exp1/arm64 to unstable makes coq/8.20.1+dfsg-1+b4/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.1-1~exp1/arm64 to unstable makes hlins/0.40-1+b4/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.1-1~exp1/arm64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b4/arm64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.1-1~exp1/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b4/arm64 uninstallable
- migrating ocaml/5.4.1-1~exp1/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b4/arm64 uninstallable
- migrating ocaml-base/5.4.1-1~exp1/arm64 to unstable makes coq/8.20.1+dfsg-1+b4/arm64 uninstallable
- migrating ocaml-base/5.4.1-1~exp1/arm64 to unstable makes hlins/0.40-1+b4/arm64 uninstallable
- migrating ocaml-base/5.4.1-1~exp1/arm64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b4/arm64 uninstallable
- Autopkgtest for coq: amd64: Test deferred, arm64: Test deferred
- Autopkgtest for diffoscope/316: amd64: Regression ♻ (reference ♻), arm64: Regression ♻ (reference ♻)
- Implicit dependency: ocaml aac-tactics (not considered)
- Depends: ocaml aac-tactics
Excuses generated on: Fri Apr 10 14:24:49 2026 UTC
Applicable release.debian.org bugs:
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).