Hello, I just realized that the coq-doc package is stuck to 8.0pl1.0-1 since Dapper on Ubuntu (and is thus cannot be installed in parallel with coq :-( ): http://packages.ubuntu.com/search?keywords=coq Is there a script somewhere that would help me to find such issues for Coq and OCaml, like Stephane Glondu's ocaml_transition program? Best regards, david