Did you ask on debian-legal? Samuel. Le Thu, 29 Apr 2004 00:04:42 +0200 Ralf Treinen <treinen@club-internet.fr> 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 debian-ocaml-maint-REQUEST@lists.debian.org > with a subject of "unsubscribe". Trouble? Contact > listmaster@lists.debian.org > -- Samuel Mimram samuel.mimram@ens-lyon.fr Don't tell me that worry doesn't do any good. I know better. The things I worry about don't happen. -- Watchman Examiner
Attachment:
pgpR0ytTvdP0O.pgp
Description: PGP signature