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