> On Wed, Jul 11, 2007 at 01:30:28AM +0200, Daniel de Rauglaudre wrote:
>> Since I can make my releases independantly and fastly, I am ready to
>> change my camlp4 into camlp5, if everybody agrees, even if I have to
>> make also a release of all my sofwares, but it is not a big deal, and
>> things would be probably clearer like that.
>
> Well, I think the -name argument is already a useful step. I just asked
> for a suggested name to avoid a plethora of unknown different names. In
> Debian, JFYI, I went for "camlp5" as it seems to me it's a name you like
> and that it's welcome by the community.

Obviously you all didn't get the camlp4/camlp5 pun :-(.

Regards -- Markus