Bug#230356: coq: New upstream release

[Sven Luther <sven.luther@wanadoo.fr>]

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