Bug#762143: New upstream version available

2015-07-08 Thread Edmund Grimley Evans
This patch is needed for arm64, when you upgrade to 20130715. diff -ru mlton-20130715.orig/lib/stubs/mlton-stubs/mlton.sml mlton-20130715/lib/stubs/mlton-stubs/mlton.sml --- mlton-20130715.orig/lib/stubs/mlton-stubs/mlton.sml +++ mlton-20130715/lib/stubs/mlton-stubs/mlton.sml @@ -158,12 +158,13 @@

Bug#762143: New upstream version available

2015-07-07 Thread Edmund Grimley Evans
When you upgrade to 20130715, please add arm64 to the architectures. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#762143: New upstream version available

2014-09-18 Thread Barak A. Pearlmutter
Package: mlton Version: 20100608-5.1 There is a new upstream version available at mlton.org. --Barak. -- Barak A. Pearlmutter Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland http://www.bcl.hamilton.ie/~barak/ pgpzHWHZ7NEmo.pgp De