camlp5 strict mode?

[Hendrik Tews <tews@os.inf.tu-dresden.de>]

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