Re: COQ 8.0
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.
--
Reply to:
- Follow-Ups:
- Re: COQ 8.0
- From: Samuel Mimram <samuel.mimram@ens-lyon.fr>
- References:
- COQ 8.0
- From: Samuel Mimram <samuel.mimram@ens-lyon.fr>