Hi maintainer, your package has strange Depends/Recommends: ocamlp5-jnvc7, libcoq-ocaml-dev-cjvm8, libcoq-ocaml-cjvm8. Please explain that. Torsten