Re: COQ 8.0

[Ralf Treinen <treinen@club-internet.fr>]

On Thu, Apr 29, 2004 at 01:01:19AM +0200, Samuel Mimram wrote:
> 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.

Not yet. I would first have to find out in which way the different
parts are related, in order to formulate a precise qustion to
debian-legal.

Anyway, if you are interested to help out with the packaging of coq
(also for discussing matters and testing) then you are most welcome.

-Ralf.
--