Re: CDuce upload?
On Thu, Mar 2, 2006 at 12:38:21 +0000, Julien Cristau wrote:
> On Thu, Mar 2, 2006 at 12:16:34 +0000, Thomas Petazzoni wrote:
>
> > However, it seems that CDuce has problems on ARM:
> >
> This is an ocamlopt bug, see
> http://caml.inria.fr/mantis/view.php?id=3077 and
> http://caml.inria.fr/mantis/view.php?id=3952 (upstream doesn't have
> access to arm machines, so this isn't going to be fixed fast, if at
> all).
>
Note also that there are no cduce debs for arm in the archive, so this
FTBFS is not new, and will not cause problems for e.g. testing
propagation.
Cheers,
Julien
Reply to: