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.

Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time