On Sat, Mar 13, 2004 at 07:48:43AM +0100, Ralf Treinen wrote: > On Fri, Jan 30, 2004 at 02:54:45PM +0100, Lionel Elie Mamane wrote: > > Package: coq > > Version: 7.3.1-2 > > Severity: wishlist > > > > Please package the latest upstream release. There is a patch to > > Just to let you know what is happening: I am working on this, but while > revising the current coq package I stumbled over some questions (copyright) > that I first have to clarify with INRIA.
Any idea on what the issues are ? Friendly, Sven Luther
