Re: [MLton] MLton 20200817 release
Henry Cejtin <[email protected]> Thu, 10 Sep 2020 22:17:04 -0500
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAPKXxCrXDANW6kCB=RKsxQVaS8WCT=V7Ou949Kt_a7nQsGxrjQ@mail.gmail.com> |
Ah, thanks. I knew things came from Sourceforge in the end, but I didn't know about the popup that showed checksums. On Thu, Sep 10, 2020 at 6:05 PM Matthew Fluet <[email protected]> wrote: > > Well, no binaries are served directly from mlton.org; they are all hosted on SourceForge, which does record the MD5 and SHA1; look at the (i) popups at https://sourceforge.net/projects/mlton/files/mlton/20200817/. But, it wouldn't be too hard to add. > > Unfortunately, SourceForge does not seem to support https for vhost domains. > > > On Thu, Sep 10, 2020 at 5:22 PM Henry Cejtin <[email protected]> wrote: >> >> I think that it would be a great idea if you would include an SHA256 >> (or some such) for all the .tgz files in the release. >> I always get a bit nervous about downloading binaries and the like, >> and I get more nervous because the mlton site is http and not https. >> >> Just a thought. >> >> On Mon, Aug 17, 2020 at 8:27 AM Matthew Fluet <[email protected]> wrote: >> > >> > I'm pleased to announce a new release of MLton, the whole-program optimizing compiler for Standard ML, available at http://mlton.org/Release20200817 (and https://github.com/MLton/mlton/releases/tag/on-20200817-release). >> > >> > Relative to MLton 20200722, this is primarily a bug fix release, fixing an `RssaShrink` bug (https://github.com/MLton/mlton/issues/401) and fixing some small issues on Solaris and MinGW platforms. >> > >> > Binary packages for amd64-linux and amd64-darwin are currently available from the release page (and are the platforms tested). Additional binary packages will be made available as they are contributed by users. We'd like to encourage downstream maintainers for the various Linux and *BSD distributions to update to the new release. >> > _______________________________________________ >> > MLton-devel mailing list >> > [email protected]; [email protected] >> > https://lists.sourceforge.net/lists/listinfo/mlton-devel >> >> >> _______________________________________________ >> MLton-devel mailing list >> [email protected]; [email protected] >> https://lists.sourceforge.net/lists/listinfo/mlton-devel > > _______________________________________________ > MLton-devel mailing list > [email protected]; [email protected] > https://lists.sourceforge.net/lists/listinfo/mlton-devel