[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
please don't ship coq-doc with sarge
To
:
debian-release@lists.debian.org
Subject
: please don't ship coq-doc with sarge
From
: Samuel Mimram <
samuel.mimram@ens-lyon.org
>
Date
: Sat, 07 May 2005 18:18:11 +0200
Message-id
: <
[🔎]
427CEA43.9020302@ens-lyon.org
>
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.
Reply to:
debian-release@lists.debian.org
Samuel Mimram (on-list)
Samuel Mimram (off-list)
Follow-Ups
:
Re: please don't ship coq-doc with sarge
From:
Frank Lichtenheld <djpig@debian.org>
Prev by Date:
Please consider perl4caml
Next by Date:
Re: Please allow backupninja into testing
Previous by thread:
Re: Please consider perl4caml
Next by thread:
Re: please don't ship coq-doc with sarge
Index(es):
Date
Thread