Re: Non-developper maintainer needing NMU

[Sven <luther@dpt-info.u-strasbg.fr>]

On Mon, Jan 28, 2002 at 09:34:53AM +0100, Judicaël Courant wrote:
> 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

If nobody does, i can do tomorrow (today, i have not the time nor the bandwith
for it), altough i will try this afternoon.

Friendly,

Sven Luther