Re: Non-developper maintainer needing NMU

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

Non-developper maintainer needing NMU

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_buil

Re: Non-developper maintainer needing NMU

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 "

Non-developper maintainer needing NMU

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_bui