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