Experimental: Pseudo-Excuse for ocaml
- Migration status for ocaml (5.4.1-1 to 5.5.0-1~exp2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- migrating libcompiler-libs-ocaml-dev/5.5.0-1~exp2/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b4/amd64 uninstallable
- migrating libstdlib-ocaml/5.5.0-1~exp2/amd64 to unstable makes coq/8.20.1+dfsg-1+b4/amd64 uninstallable
- migrating libstdlib-ocaml/5.5.0-1~exp2/amd64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b4/amd64 uninstallable
- migrating libstdlib-ocaml-dev/5.5.0-1~exp2/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b4/amd64 uninstallable
- migrating ocaml/5.5.0-1~exp2/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b4/amd64 uninstallable
- migrating ocaml-base/5.5.0-1~exp2/amd64 to unstable makes coq/8.20.1+dfsg-1+b4/amd64 uninstallable
- migrating ocaml-base/5.5.0-1~exp2/amd64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b4/amd64 uninstallable
- migrating libcompiler-libs-ocaml-dev/5.5.0-1~exp2/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b5/arm64 uninstallable
- migrating libstdlib-ocaml/5.5.0-1~exp2/arm64 to unstable makes coq/8.20.1+dfsg-1+b5/arm64 uninstallable
- migrating libstdlib-ocaml/5.5.0-1~exp2/arm64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b5/arm64 uninstallable
- migrating libstdlib-ocaml-dev/5.5.0-1~exp2/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b5/arm64 uninstallable
- migrating ocaml/5.5.0-1~exp2/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b5/arm64 uninstallable
- migrating ocaml-base/5.5.0-1~exp2/arm64 to unstable makes coq/8.20.1+dfsg-1+b5/arm64 uninstallable
- migrating ocaml-base/5.5.0-1~exp2/arm64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b5/arm64 uninstallable
- Autopkgtest for camlbz2/0.8.0-3: amd64: Pass, arm64: Test triggered
- Autopkgtest for camlpdf/2.9-1: amd64: Pass, arm64: Test triggered
- Autopkgtest for camlzip/1.14-1: amd64: Pass, arm64: Test triggered
- Autopkgtest for coq: amd64: Test deferred, arm64: Test deferred
- Autopkgtest for coqprime/8.20.1-1: amd64: Pass, arm64: Test triggered
- Autopkgtest for cudf/0.10-6: amd64: Pass, arm64: Test triggered
- Autopkgtest for diffoscope/323: arm64: Regression ♻ (reference ♻)
- Autopkgtest for extlib/1.8.0-3: amd64: Pass, arm64: Test triggered
- Autopkgtest for js-of-ocaml-ocamlbuild/5.0-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for lablgtk3/3.1.5-3: amd64: Pass, arm64: Test triggered
- Autopkgtest for liquidsoap/2.4.2-1: amd64: Failed (not a regression) ♻ (reference ♻), arm64: Test triggered
- Autopkgtest for menhir/20250912+ds-1: amd64: Pass ♻
- Autopkgtest for menhir: arm64: Test triggered
- Autopkgtest for morbig/0.11.0-6: amd64: Pass ♻
- Autopkgtest for morbig: arm64: Test triggered
- Autopkgtest for morsmall/0.3.0-8: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-afl-persistent/1.4-5: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-cairo2/0.6.5-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-fpath/0.7.3-4: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-gen/1.1-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-luv/0.5.14-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-num/1.6-1: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-obuild/0.2.2-1: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-odoc/3.2.1-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-ptmap/2.0.5-5: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-qcheck/0.91-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-qtest/2.11.2-4: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-re/1.14.0-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-rope/0.6.3-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-sedlex/3.7-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocaml-visitors/20260520-1: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocamldsort/0.16.0-10: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocamlmakefile/6.39.2-3: amd64: Pass, arm64: Test triggered
- Autopkgtest for ocplib-simplex/0.5.1-6: amd64: Pass, arm64: Test triggered
- Autopkgtest for ppx-deriving/6.1.1-2: amd64: Pass ♻
- Autopkgtest for ppx-deriving: arm64: Test triggered
- Autopkgtest for ppx-deriving-yojson/3.10.0-2: amd64: Pass, arm64: Test triggered
- Autopkgtest for pyml/20250807-2: amd64: Pass, arm64: Test triggered
- Implicit dependency: ocaml aac-tactics (not considered)
- Implicit dependency: ocaml coq-dpdgraph
- Implicit dependency: ocaml hlins (not considered)
- Depends: ocaml aac-tactics
- Depends: ocaml coq-dpdgraph
- Depends: ocaml hlins
Excuses generated on: Wed Jul 15 18:24:54 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).