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 !"
