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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
