Re: Non-developper maintainer needing NMU
On Mon, Jan 28, 2002 at 09:34:53AM +0100, Judicaël Courant wrote:
> 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
If nobody does, i can do tomorrow (today, i have not the time nor the bandwith
for it), altough i will try this afternoon.