On Thu, Apr 26, 2001 at 04:48:09PM +0200, Sven LUTHER wrote:
> On Thu, Apr 26, 2001 at 11:08:33AM +0200, Judica�l Courant wrote:
> > I am making a package for the Coq Proof Assistant, written in Caml. The
>
> Err, there is already a package of coq in deban, is that not enough ? please
> coordinate with the maintainer if this is not the case.
Don't worry, Judica�l meant to say that he is taking over maintainership
from Fernando Sanchez <[EMAIL PROTECTED]> I will sponsor Judica�l for that.
And of course we contacted Fernando, and he agrees.
-Ralf.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
