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 Judica�l Courant. -- [EMAIL PROTECTED], http://www.lri.fr/~jcourant/ (+33) (0)1 69 15 64 85 "Heureux ceux qui savent rire d'eux-m�mes : ils n'ont pas fini de s'amuser !" -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
