Excuse for hol-light
- 717 old (needed 5 days)
- hol-light/amd64 unsatisfiable Depends: camlp5-daca9
- hol-light/amd64 unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/arm64 unsatisfiable Depends: camlp5-daca9
- hol-light/arm64 unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/armel unsatisfiable Depends: camlp5-ee3f8
- hol-light/armel unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/armhf unsatisfiable Depends: camlp5-ee3f8
- hol-light/armhf unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/i386 unsatisfiable Depends: camlp5-ee3f8
- hol-light/i386 unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/mips unsatisfiable Depends: camlp5-ajc05
- hol-light/mips unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/mips64el unsatisfiable Depends: camlp5-ajc05
- hol-light/mips64el unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/mipsel unsatisfiable Depends: camlp5-ajc05
- hol-light/mipsel unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/ppc64el unsatisfiable Depends: camlp5-ajc05
- hol-light/ppc64el unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/s390x unsatisfiable Depends: camlp5-ajc05
- hol-light/s390x unsatisfiable Depends: ocaml-nox-4.02.3
- Updating hol-light introduces new bugs: #876533
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/h/hol-light.html
- uninstallable on arch amd64, autopkgtest delayed there
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.