Hello Wesley, The version distributed currently is 20130715-3 while the MLton team has released 20210117. Would you please look into updating the package and it's dependencies?
Thanks, ~Mayuresh -- Ubuntu-devel-discuss mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
