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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
