On Thu, Apr 26, 2001 at 09:34:33PM +0200, Ralf Treinen wrote:
> 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.
Ok, nice to hear that.
Welcome in the debian-ocaml community Judica�l.
Was my info about the per package lintian override file usefull to you ?
If not, just ignore it ...
Friendly,
Sven Luther
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
