Re: Keep MLton from being kicked out of Debian?

On Mon, Nov 07, 2016 at 09:26:04AM -0500, Adam Chlipala wrote:
> Are there any Debian experts around?  A change to the Debian environment 
> seems to have broken the latest MLton package, and they are planning to 
> remove MLton from Debian as a result.  Here's the issue with its 
> discussion thread:
>      https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837567
> 
> I don't know if there's more ongoing effort not documented there, but I 
> didn't recognize any ML-community people in the discussion, and I figure 
> this could be a relatively easy fix for one of y'all. I'm really hoping 
> to avoid having MLton get kicked out of Debian, since the Debian package 
> for my Ur/Web language depends on it.
> 
> Matthew Fluet said offlist that the problem is familiar to him and looks 
> easy to solve, but this is going to take someone to engage in a 
> Debian-specific way.

I am not a Debian developer, but I do use Debian. I will try to help.

If I am reading the error message correctly, it does look like a simple fix...

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].


------------------------------------------------------------------------------
Developer Access Program for Intel Xeon Phi Processors
Access to Intel Xeon Phi processor-based developer platforms.
With one year of Intel Parallel Studio XE.
Training and support from Colfax.
Order your platform today. http://sdm.link/xeonphi