Re: Coq 'parser' -> 'coq-parser'

[Stéphane Glondu <steph@glondu.net>]

Stefano Zacchiroli a écrit :
> > Just to let you know Fedora found a conflict with /usr/bin/parser from
> > Coq & from another (non-OCaml) package, so we asked upstream Coq if
> > they could change the name of this program to be less generic, and
> > they have agreed to change it to coq-parser in the next release.
>
> OK, cool.
>
> Out of curiosity: are you following the
> distributions@l.freedesktop.org mailing list? The issue was raised
> there, in a more more generic setting, and I pointed out to Toshio
> Kuratomi that in Debian we are currently not shipping that executable.

The issue has also been raised on coq-club. See:

  http://pauillac.inria.fr/pipermail/coq-club/2008/003858.html

and follow-ups.

This executable is not shipped in Debian partly because of the name; the 
fact that it is not very useful for the casual user was also an argument 
for not bothering shipping it renamed.

Of course, if someone really needs it, we could ship it. I guess if 
renaming is done upstream, we could ship it anyway.


Cheers,

--
Stéphane