[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Comments regarding aac-tactics_0.1-r13244-1_amd64.changes



Hi maintainer,

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

Torsten



Reply to: