Le 19/12/2019 à 23:39, Christopher Cramer 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 Cheers, -- Stéphane