Re: Keep MLton from being kicked out of Debian?
"Wesley W. Terpstra" <[email protected]> Thu, 15 Dec 2016 00:13:01 -0800
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAA-O0Xg+gCCgY5nkW+5zRUbZ6efy3CGnE+suqWeZKh97CS5x2A@mail.gmail.com> |
Just a quick update: I regained control of my debian account this morning. mlton_20130715 is now uploaded to debian and updated to all the latest and greatest debian packaging rules in time for stretch. Unfortunately, I will need to re-bootstrap mlton on every debian architecture again, but now I have access to the porter boxes so this should not be a problem. I'll look into adding the new debian architectures once we're back to green on <https://buildd.debian.org/status/package.php?p=mlton&suite=sid>. On Tue, Nov 8, 2016 at 11:07 AM, Wesley W. Terpstra <[email protected]> wrote: > On Tue, Nov 8, 2016 at 8:05 AM, Christopher Cramer > <[email protected]> wrote: >> While you're at it, can you package the new version of MLton? > > Assuming I can regain control of my debian account, yes. -- 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]. ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot