| Mon, 03 Feb 2025 14:15:37 +0100 | wenzelm | update to mlton-20241230-1 using recent builds from https://sourceforge.net/projects/mlton; | file | diff | annotate |
| 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 |