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. I hope to upload a package for 7.4 in the next days. -Ralf. --