Re: please don't ship coq-doc with sarge
On Sat, May 07, 2005 at 06:18:11PM +0200, Samuel Mimram wrote:
> The coq documentation (in package coq-doc) shouldn't be shipped with
> sarge. It is currently not free, see #294865, and I have very little
> hope that this issue will be solved before sarge's release.
Actually coq-doc is removed from testing since February and the RC bug
is enough to keep it out in all situations. So this is already done.
Gruesse,
--
Frank Lichtenheld <djpig@debian.org>
www: http://www.djpig.de/
Reply to: