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 libcompiler-libs-ocaml-dev/5.4.0-1~exp1/amd64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/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+b3/amd64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/amd64 to unstable makes libyojson-ocaml/2.2.2-1+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 libstdlib-ocaml-dev/5.4.0-1~exp1/amd64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/amd64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/amd64 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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/5.4.0-1~exp1/amd64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/amd64 uninstallable
- migrating ocaml/5.4.0-1~exp1/amd64 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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+b3/amd64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/amd64 to unstable makes libyojson-ocaml/2.2.2-1+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 libcompiler-libs-ocaml-dev/5.4.0-1~exp1/arm64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/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+b3/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/arm64 to unstable makes libyojson-ocaml/2.2.2-1+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 libstdlib-ocaml-dev/5.4.0-1~exp1/arm64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/arm64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/arm64 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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/5.4.0-1~exp1/arm64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/arm64 uninstallable
- migrating ocaml/5.4.0-1~exp1/arm64 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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+b3/arm64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/arm64 to unstable makes libyojson-ocaml/2.2.2-1+b2/arm64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/armhf to unstable makes libyojson-ocaml/2.2.2-1+b2/armhf uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/armhf to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/armhf uninstallable
- migrating ocaml/5.4.0-1~exp1/armhf to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/armhf uninstallable
- migrating ocaml-base/5.4.0-1~exp1/armhf to unstable makes libyojson-ocaml/2.2.2-1+b2/armhf uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/i386 to unstable makes libyojson-ocaml/2.2.2-1+b2/i386 uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/i386 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/i386 uninstallable
- migrating ocaml/5.4.0-1~exp1/i386 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/i386 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/i386 to unstable makes libyojson-ocaml/2.2.2-1+b2/i386 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 libcompiler-libs-ocaml-dev/5.4.0-1~exp1/ppc64el to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/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+b3/ppc64el uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/ppc64el to unstable makes libyojson-ocaml/2.2.2-1+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 libstdlib-ocaml-dev/5.4.0-1~exp1/ppc64el to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/ppc64el uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/ppc64el to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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/5.4.0-1~exp1/ppc64el to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/ppc64el uninstallable
- migrating ocaml/5.4.0-1~exp1/ppc64el to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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+b3/ppc64el uninstallable
- migrating ocaml-base/5.4.0-1~exp1/ppc64el to unstable makes libyojson-ocaml/2.2.2-1+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 libcompiler-libs-ocaml-dev/5.4.0-1~exp1/riscv64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/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+b3/riscv64 uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/riscv64 to unstable makes libyojson-ocaml/2.2.2-1+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 libstdlib-ocaml-dev/5.4.0-1~exp1/riscv64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/riscv64 uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/riscv64 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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/5.4.0-1~exp1/riscv64 to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/riscv64 uninstallable
- migrating ocaml/5.4.0-1~exp1/riscv64 to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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+b3/riscv64 uninstallable
- migrating ocaml-base/5.4.0-1~exp1/riscv64 to unstable makes libyojson-ocaml/2.2.2-1+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 libcompiler-libs-ocaml-dev/5.4.0-1~exp1/s390x to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/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+b3/s390x uninstallable
- migrating libstdlib-ocaml/5.4.0-1~exp1/s390x to unstable makes libyojson-ocaml/2.2.2-1+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 libstdlib-ocaml-dev/5.4.0-1~exp1/s390x to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/s390x uninstallable
- migrating libstdlib-ocaml-dev/5.4.0-1~exp1/s390x to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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/5.4.0-1~exp1/s390x to unstable makes libelpi-ocaml-dev/2.0.7-2+b3/s390x uninstallable
- migrating ocaml/5.4.0-1~exp1/s390x to unstable makes libyojson-ocaml-dev/2.2.2-1+b2/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+b3/s390x uninstallable
- migrating ocaml-base/5.4.0-1~exp1/s390x to unstable makes libyojson-ocaml/2.2.2-1+b2/s390x uninstallable
- Autopkgtest for camlbz2/0.8.0-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for camlpdf/2.8.1-1: amd64: Pass, arm64: Pass, i386: Failed (not a regression) ♻ (reference ♻), ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for camlzip/1.13-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for coq/8.20.1+dfsg-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for coq-quickchick/2.1.0-1.1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for coqprime/8.20.1-1: amd64: Pass, arm64: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for cudf/0.10-6: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for extlib/1.8.0-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for js-of-ocaml-ocamlbuild/5.0-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for lablgtk3/3.1.5-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for menhir/20250912+ds-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for morsmall/0.3.0-8: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-afl-persistent/1.4-5: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-fpath/0.7.3-4: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-gen/1.1-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-luv/0.5.14-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-num/1.6-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-obuild/0.1.11-2: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-ptmap/2.0.5-5: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-qtest/2.11.2-4: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-re/1.14.0-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-rope/0.6.3-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-sedlex/3.7-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocamldsort/0.16.0-9: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocplib-simplex/0.5.1-4: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ppx-deriving/6.1.1-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ppx-deriving-yojson/3.10.0-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for pyml/20231101-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Implicit dependency: ocaml aac-tactics (not considered)
- Implicit dependency: ocaml coq-elpi (not considered)
- Implicit dependency: ocaml hlins (not considered)
- Depends: ocaml aac-tactics
- Depends: ocaml coq-elpi
- Depends: ocaml hlins
Excuses generated on: Fri Dec 12 06:25:29 2025 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).