Re: Camlrpc and Cduce updated, new Camlgz

[Thomas Petazzoni <thomas.petazzoni@enix.org>]

Hi,

Stefano Zacchiroli wrote:

> > I've updated Camlrpc Debian package to upstream version 0.4.4. No
> > changes were needed on the Debian side.
> >
> > I've also updated Cduce to upstream version 0.3.91. This version removes
> > cdo2ml and mlcduce_wrapper, so the issue with manpages and Lintian has
> > disappeared.
>
> May I go ahead and upload them?

I think you can go ahead if you checked my changes. Maybe you can ask 
Samuel who uploaded these packages previously IIRC.

Thanks,

Thomas
--
Thomas Petazzoni
thomas.petazzoni@enix.org