Le 10/02/2011 20:02, Torsten Werner a écrit :
your package has strange Depends/Recommends: ocamlp5-jnvc7, libcoq-ocaml-dev-cjvm8, libcoq-ocaml-cjvm8. Please explain that.
These are dependencies of binary packages that are automatically generated. You'll see a lot of those in OCaml libraries. See [1].
[1] http://upsilon.cc/~zack/research/publications/jfla10-dh-ocaml.pdf Cheers, -- Stéphane