Le 28/02/2012 09:21, Hendrik Tews a écrit : > I just noticed that camlp5 from Debian cannot compile hol-light, > because the latter requires a strict camlp5 (with configure -strict). > Has it ever be considered adding a Debian package for a strict > camlp5? See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=467563 I haven't looked/thought at it myself. Cheers, -- Stéphane