Re: difference between armv3l and armv4l, ...

[Philip Blundell <philb@gnu.org>]

>Now, i have looked at this bug, saw that the upstream package checks for sa110
>and armv4l, but rejects anything else. I have added armv3l support in the
>3.01-4 version of this package, but as the ocaml package generate machine
>code, maybe there is a reason for the armv3l subarch not being supported, so i
>don't know if this will trully work.

ARMv4l just adds a few extra instructions; I doubt the distinction is 
actually important to your package.  The way the Debian compiler is set up it 
will generate code that runs on older machines even if you compile on an ARMv4 
box.

We do have an armv3l machine available, and I'll try to test your package on 
it later today.

p.