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 > <[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.
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. -- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
