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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
