Re: coq (was: Re: Preventing stripping of bytecode executable)
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 <fer@debian.org> 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
Reply to: