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