Le 15/05/2012 11:34, Hendrik Tews a écrit :
> the DOM git repository contains the first version of the
> prooftree package, see
> http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
>
> Comments are welcome. [...]
Why do you need to override dh_gencontrol?
I think there are sections more adequate than "x11" ("math" or "science"
come to mind).
Please target experimental and add a versioned dependency to Coq.
Cheers,
--
Stéphane