Bug#467563: camlp5 strict mode?
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.