| Thu, 21 Mar 2024 21:03:06 +0100 | wenzelm | suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker); | file | diff | annotate |
| Thu, 21 Mar 2024 14:19:05 +0100 | wenzelm | update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin; | file | diff | annotate |