On Mon, Aug 04, 2008 at 03:03:58PM +0200, Hans de Goede wrote: > Maybe, I haven't investigated that close yet, as I simply don't have the > time for it. Given thatb packages which contain /usr/bin/parser are > pretty obscure packages, the chances of a user actually hitting this > problem are small. Alan Dunn has asked Coq upstream if it is possible for them to rename this program so it's less generic. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones Read my OCaml programming blog: http://camltastic.blogspot.com/ Fedora now supports 59 OCaml packages (the OPEN alternative to F#) http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
