On Wed, Aug 06, 2008 at 12:08:47PM +0100, Richard Jones wrote: > 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. Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ I'm still an SGML person,this newfangled /\ All one has to do is hit the XML stuff is so ... simplistic -- Manoj \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature