src:hol-light

Date: 2023-01-31 05:00:02

Debian unstable (main only)

packagesummary
hol-light (= 20190729-4+b4)unsatisfied dependency on camlp5-tbgj7
hol-light (= 20190729-4+b4)unsatisfied dependency on camlp5-dkct1
hol-light (= 20190729-4+b4)unsatisfied dependency on camlp5-y7l77
hol-light (= 20190729-4+b4)unsatisfied dependency on camlp5-qbub4

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
hol-light (= 20190729-4)unsatisfied dependency on ocaml-base-nox