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