Re: Keep MLton from being kicked out of Debian?

OK, thanks; glad to hear that the ball is in Debian's court!  Let me 
know if a way I can help does arise.

On 12/10/2016 04:59 PM, Wesley W. Terpstra wrote:
> The current status is that we're waiting for the debian keyring
> maintainer to update the keyring. Then we can use the debian porter
> machines to update the package on all the affected architectures.
>
> On Sat, Dec 10, 2016 at 6:53 AM, Adam Chlipala <[email protected]> wrote:
>> I'm not a Debian expert, but I don't yet see any concrete progress in
>> this discussion thread for the compilation issue that I reported:
>>       https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837567
>>
>>   From earlier discussion on this mailing list, I got the impression that
>> there may be a trivial technical fix, but the blocking factor could be
>> finding someone able to authorize an update to the Debian package
>> system.  Is that right?  If so, does it make sense for me to work on
>> finding such a person?

------------------------------------------------------------------------------
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