* Matthew Fluet <[email protected]> [2015-07-10 11:07]: > 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).
Great! -- Martin Michlmayr Linux for HP Helion, Hewlett-Packard -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
