src:hol-light
Date: 2023-01-31 05:00:02
Debian unstable (main only)
| package | summary |
|---|---|
| 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)
| package | summary |
|---|---|
| hol-light (= 20190729-4) | unsatisfied dependency on ocaml-base-nox |