Non-developper maintainer needing NMU

[Judicaël Courant <Judicael.Courant@lri.fr>]

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.
-- 
Judicael.Courant@lri.fr, 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 !"