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 liquidsoap/2.4.0-1: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Test triggered, riscv64: Pass, s390x: Pass
- Autopkgtest for ocaml-qcheck/0.26-2: ppc64el: Pass ♻ (reference ♻)
- Autopkgtest for ocaml-visitors/20251010-1: ppc64el: Pass ♻ (reference ♻)
- 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: Sun Nov 30 02:25:37 2025 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).