Bug#467563: camlp5 strict mode?

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

Stéphane Glondu writes:
   
   I've pushed an updated camlp5 (6.04) package to the team's git, that
   defaults to strict. I've also pushed a fix for ulex0.8, so that both
   strict and transitional are supported. Matita then builds with no
   changes in strict mode.
   
But then we don't need transitional cmalp5, do we?

   Can I proceed and upload camlp5 6.04-1 as it is now, or do you want to
   give a shot at providing an additional camlp5t package?

Please go ahead. If transitional camlp5 is not needed I save the
time for something else.

Bye,

Hendrik