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

Re: first version of prooftree in git



Stéphane Glondu <glondu@debian.org> writes:

   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?

Deleted now. I thought that it was necessary for getting the
right dependencies on bytecode only architectures.

   I think there are sections more adequate than "x11" ("math" or "science"
   come to mind).

changed to science

   Please target experimental and add a versioned dependency to Coq.

Could you explain your reasoning?

My suggestion is to have prooftree in wheezy without a dependency
to Coq for the case that wheezy gets released before Coq 8.4. In
this case wheezy users would only need to compile Coq manually to
get prooftree working.

Bye,

Hendrik


Reply to: