Bug#944277: actually a bug in camlp5
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
Reply to: