A patch to build on arm64 (aarch64) Debian unstable was recently
submitted via Debian Bug #762143
(https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=762143#15) and has
been committed upstream (https://github.com/MLton/mlton/pull/113).
On Thu, Jul 9, 2015 at 12:21 PM, Martin Michlmayr <t...@hp.com> wrote:
> Package: mlton
> Version: 20100608-5.1
> Severity: wishlist
> User: debian-...@lists.debian.org
> Usertags: arm64 port
>
> This package fails to build on arm64, but a quick looks suggests
> this package might be useful on arm64. Do you know if upstream or
> someone else is working on arm64 support ("aarch64") already?
>
> --
> Martin Michlmayr
> Linux for HP Helion, Hewlett-Packard
>
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
