Did you ask on debian-legal? Samuel.
Le Thu, 29 Apr 2004 00:04:42 +0200 Ralf Treinen
<[EMAIL PROTECTED]> a �crit :
> On Wed, Apr 28, 2004 at 07:57:50PM +0200, Samuel Mimram wrote:
> > Hello,
> >
> > I wanted to know if someone was working on the 8.0 release of COQ.
> > I don't think I would be able to do it but I do use COQ 8.0 and I
> > think it would be a good thing of it was in sarge (I hope it's not
> > too late) since it's a major update (the syntax was revised, etc).
>
> I had started to work on it but stopped when I learned that coq 8.0
> combines GPL code with QPL code. This might be a serious problem
> since both licencnes are mutually inconsistent, but frankly I
> didn't have the time yet to look closer into this and to figure
> out whether there is an actual problem.
>
> I would be grateful for hearing about any informed opinion on this
> matter.
>
> -Ralf.
> --
>
>
> --
> To UNSUBSCRIBE, email to [EMAIL PROTECTED]
> with a subject of "unsubscribe". Trouble? Contact
> [EMAIL PROTECTED]
>
--
Samuel Mimram
[EMAIL PROTECTED]
Don't tell me that worry doesn't do any good. I know better. The
things
I worry about don't happen.
-- Watchman Examiner
pgp00000.pgp
Description: PGP signature
