Re: first version of prooftree in git
Le 23/05/2012 16:46, Hendrik Tews a écrit :
> 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.
This is not acceptable to me. The point of using Debian packages is to
avoid to manually compile software. Someone who is willing to manually
compile Coq won't mind manually compile prooftree. Also, packages in a
Debian stable release are supposed to be self-contained, and well
tested, which is not really possible for prooftree as long as Coq 8.4 is
not released...
Moreover, there is no guarantee that prooftree won't need changes with
the final version of Coq 8.4, and packages are not supposed to be
touched once part of a stable release (actually, even during the
freeze). What do you want to do if Coq 8.4 is released after Wheezy, and
prooftree needs changes? This situation should not happen in the first
place.
Finally, Wheezy will be frozen soon [1]; it's now too late to update Coq
to a new major release. So Coq 8.4 won't be part of Wheezy.
Of course, backports of coq and prooftree will be possible once Wheezy
and Coq 8.4 are released. I really don't see the point of uploading
prooftree to unstable now.
[1] http://lists.debian.org/debian-devel-announce/2012/05/msg00004.html
Cheers,
--
Stéphane
Reply to: