Hi,
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.
Regards,
Sam.
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
