NEWS: update to mlton-20241230-2

[Makarius]

On 02/10/2026 23:50, Makarius wrote:
> 
>    isabelle build -A: PAC_Checker Munta_Model_Checker 
> Munta_Certificate_Checker Native_Word Buchi_Complementation
> 
> For arm64-linux it should work in principle, but I need a better test machine: 
> probably Docker on Apple hardware, which I did not try yet.

After some experimentation, it did work quite well with Podman 
https://podman.io instead of Docker. So Mlton looks fine on arm64-linux now, 
but z3 doesn't. Most of the above applications required (smt (z3)), but that 
is too unstable on arm64-linux (see Isabelle/65f981cf4474).


	Makarius