* Matthew Fluet <matthew.fl...@gmail.com> [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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org