Peter Collingbourne wrote: > Dear mentors, > > I am looking for a sponsor for my packages "ladr" and "prover9-manual" I'll take care of this request. Cheers, Bernd -- Bernd Zeimetz <bernd@bzed.de> <http://bzed.de/>