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