Re: [cduce-users] Debian package for CDuce 0.3.9

[Alain Frisch <Alain.Frisch@inria.fr>]

Thomas Petazzoni wrote:
> However, there are two lintian warnings : it complains that the cdo2ml
> and mlcduce_wrapper tools don't have any manpage. If I remember
> correctly, this issue has already been discussed here, but I can't
> remember the conclusion. These tools are internal tools for CDuce, and
> if I understand correctly, there are not useful for the average CDuce
> package user.

The next version will get rid of these two tools (they will be included
directly in the cduce binary).

Since I also found annoying bugs, you can expect this release pretty soon.

Thanks for packaging CDuce in Debian!

-- Alain