Re: Camlrpc and Cduce updated, new Camlgz

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hi,

Thomas Petazzoni wrote:
> 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.

No problem for me if Stefano wants to upload this, less work for me :).

Regards,

Sam.