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