Le 29/12/2019 à 13:05, Stéphane Glondu a écrit : >> This is probably caused by a bug in camlp5, caught by a stricter dynamic >> linker in OCaml 4.08. It is fixed in camlp5 7.10. >> >> See https://github.com/camlp5/camlp5/pull/46 > > I've updated camlp5 to 7.10, and given back hol-light on amd64. It still > fails: > > https://buildd.debian.org/status/fetch.php?pkg=hol-light&arch=amd64&ver=20190729-2%2Bb2&stamp=1577619908&raw=0
It turned out it was just the libnum-ocaml-dev dependency that was missing. Thank you for your hints on this issue! Cheers, -- Stéphane
