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

Re: first version of prooftree in git

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.



Reply to: