On Mon, Jan 28, 2002 at 09:34:53AM +0100, Judica�l Courant wrote: > Hi, > > I am the maintainer of the Coq package (a proof assistant for > higher-order logic). I am not a developper and my sponsor (Ralf Treinen) > is currently out of reach. Can anybody make a NMU for me? (I have just > fixed a "serious" bug). > > The needed files are in http://www.lri.fr/~jcourant/02/deb_build/ > I have signed them, my GPG key (signed by my sponsor) is in > http://www.lri.fr/~jcourant/public_key.txt
If nobody does, i can do tomorrow (today, i have not the time nor the bandwith for it), altough i will try this afternoon. Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
