Hi, 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.
Rich. -- Richard Jones Red Hat -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
