[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Non-developper maintainer needing NMU


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

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

Reply to: