Experimental: Pseudo-Excuse for ocaml
- Migration status for ocaml (5.3.0-3 to 5.4.0-1~exp1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- migrating libcompiler-libs-ocaml-dev/5.4.0-1~exp1/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/amd64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/amd64 to unstable makes coq/8.20.1+dfsg-1+b1/amd64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/amd64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/amd64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/amd64 to unstable makes libelpi-ocaml/2.0.7-2+b2/amd64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/amd64 uninstallable
- migrating ocaml/5.4.0-1~exp1/amd64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/amd64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/amd64 to unstable makes coq/8.20.1+dfsg-1+b1/amd64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/amd64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/amd64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/amd64 to unstable makes libelpi-ocaml/2.0.7-2+b2/amd64 uninstallable
- migrating libcompiler-libs-ocaml-dev/5.4.0-1~exp1/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/arm64 to unstable makes coq/8.20.1+dfsg-1+b1/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/arm64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/arm64 to unstable makes libelpi-ocaml/2.0.7-2+b2/arm64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/arm64 uninstallable
- migrating ocaml/5.4.0-1~exp1/arm64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/arm64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/arm64 to unstable makes coq/8.20.1+dfsg-1+b1/arm64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/arm64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/arm64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/arm64 to unstable makes libelpi-ocaml/2.0.7-2+b2/arm64 uninstallable
- migrating libcompiler-libs-ocaml-dev/5.4.0-1~exp1/ppc64el to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/ppc64el uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/ppc64el to unstable makes coq/8.20.1+dfsg-1+b1/ppc64el uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/ppc64el to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/ppc64el uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/ppc64el to unstable makes libelpi-ocaml/2.0.7-2+b2/ppc64el uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/ppc64el to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/ppc64el uninstallable
- migrating ocaml/5.4.0-1~exp1/ppc64el to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/ppc64el uninstallable
- migrating ocaml-base/5.4.0-1~exp1/ppc64el to unstable makes coq/8.20.1+dfsg-1+b1/ppc64el uninstallable
- migrating ocaml-base/5.4.0-1~exp1/ppc64el to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/ppc64el uninstallable
- migrating ocaml-base/5.4.0-1~exp1/ppc64el to unstable makes libelpi-ocaml/2.0.7-2+b2/ppc64el uninstallable
- migrating libcompiler-libs-ocaml-dev/5.4.0-1~exp1/riscv64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/riscv64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/riscv64 to unstable makes coq/8.20.1+dfsg-1+b1/riscv64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/riscv64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/riscv64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/riscv64 to unstable makes libelpi-ocaml/2.0.7-2+b2/riscv64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/riscv64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/riscv64 uninstallable
- migrating ocaml/5.4.0-1~exp1/riscv64 to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/riscv64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/riscv64 to unstable makes coq/8.20.1+dfsg-1+b1/riscv64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/riscv64 to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/riscv64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/riscv64 to unstable makes libelpi-ocaml/2.0.7-2+b2/riscv64 uninstallable
- migrating libcompiler-libs-ocaml-dev/5.4.0-1~exp1/s390x to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/s390x uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/s390x to unstable makes coq/8.20.1+dfsg-1+b1/s390x uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/s390x to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/s390x uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/s390x to unstable makes libelpi-ocaml/2.0.7-2+b2/s390x uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/s390x to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/s390x uninstallable
- migrating ocaml/5.4.0-1~exp1/s390x to unstable makes libcoq-core-ocaml-dev/8.20.1+dfsg-1+b1/s390x uninstallable
- migrating ocaml-base/5.4.0-1~exp1/s390x to unstable makes coq/8.20.1+dfsg-1+b1/s390x uninstallable
- migrating ocaml-base/5.4.0-1~exp1/s390x to unstable makes libcoq-core-ocaml/8.20.1+dfsg-1+b1/s390x uninstallable
- migrating ocaml-base/5.4.0-1~exp1/s390x to unstable makes libelpi-ocaml/2.0.7-2+b2/s390x uninstallable
- autopkgtest for camlbz2/0.8.0-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for camlpdf/2.8.1-1: amd64: Pass, arm64: Pass, i386: Failed (not a regression) ♻ (reference ♻), ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for camlzip/1.13-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for coq/8.20.1+dfsg-1: amd64: Pass, arm64: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for coq-quickchick/2.1.0-1.1: amd64: Pass, arm64: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for coqprime/8.20.1-1: amd64: Pass, arm64: Pass, ppc64el: Regression ♻ (reference ♻), riscv64: Pass, s390x: Pass
- autopkgtest for cudf/0.10-6: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for diffoscope/306: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Regression ♻ (reference ♻), riscv64: Pass, s390x: Pass
- autopkgtest for extlib/1.8.0-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for js-of-ocaml-ocamlbuild/5.0-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for lablgtk3/3.1.5-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for menhir/20250912+ds-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for morsmall/0.3.0-8: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-afl-persistent/1.4-5: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-fpath/0.7.3-4: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-gen/1.1-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-luv/0.5.14-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-num/1.6-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-obuild/0.1.11-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-ptmap/2.0.5-5: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-qcheck/0.26-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-qtest/2.11.2-4: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-re/1.14.0-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-rope/0.6.3-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-sedlex/3.6-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocaml-visitors/20250212-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocamldsort/0.16.0-9: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ocamlmakefile/6.39.2-2: amd64: Failed (not a regression) ♻ (reference ♻), arm64: Failed (not a regression) ♻ (reference ♻), i386: Failed (not a regression) ♻ (reference ♻), ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Failed (not a regression) ♻ (reference ♻), s390x: Failed (not a regression) ♻ (reference ♻)
- autopkgtest for ocplib-simplex/0.5.1-4: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ppx-deriving/6.1.1-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for ppx-deriving-yojson/3.10.0-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- autopkgtest for pyml/20231101-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Reference test triggered, but real test failed already ♻, riscv64: Pass, s390x: Pass
- Implicit dependency: ocaml elpi (not considered)
- Implicit dependency: ocaml hlins (not considered)
- Depends: ocaml elpi
- Depends: ocaml hlins
Excuses generated on: Wed Oct 15 22:26:02 2025 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).