On 18 Apr 2002, [ISO-8859-1] Judicaël Courant wrote: > I am maintaining the Coq package and I just adopted its documentation, > coq-doc (Fernando Sanchez is the former maintainer). I have made a new > version of the documentation and I would like it to go to woody (the > current version of coq-doc is out-of-date). But I am not a developer and > my sponsor (Ralf Treinen) is currently in vacation. Can anybody make a > NMU of for me?
Done. Simon -- GPG public key available from http://phobos.fs.tum.de/pgp/Simon.Richter.asc Fingerprint: 040E B5F7 84F1 4FBC CEAD ADC6 18A0 CC8D 5706 A4B4 Hi! I'm a .signature virus! Copy me into your ~/.signature to help me spread! -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
