Re: [MLton] MLton 20200817 release

--===============8584924725531761078==
Content-Type: multipart/alternative; boundary="000000000000bd8f0105aefd7d9a"

--000000000000bd8f0105aefd7d9a
Content-Type: text/plain; charset="UTF-8"

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
>

--000000000000bd8f0105aefd7d9a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:courier =
new,monospace;font-size:large">Well, no binaries are served directly from <=
a href=3D"http://mlton.org">mlton.org</a>; they are all hosted on SourceFor=
ge, which does record the MD5 and SHA1; look at the (i) popups at=C2=A0<a h=
ref=3D"https://sourceforge.net/projects/mlton/files/mlton/20200817/">https:=
//sourceforge.net/projects/mlton/files/mlton/20200817/</a>.=C2=A0 But, it w=
ouldn&#39;t be too hard to add.</div><div class=3D"gmail_default" style=3D"=
font-family:courier new,monospace;font-size:large"><br></div><div class=3D"=
gmail_default" style=3D"font-family:courier new,monospace;font-size:large">=
Unfortunately, SourceForge does not seem to support https for vhost domains=
.=C2=A0</div><div class=3D"gmail_default" style=3D"font-family:courier new,=
monospace;font-size:large"><br></div></div><br><div class=3D"gmail_quote"><=
div dir=3D"ltr" class=3D"gmail_attr">On Thu, Sep 10, 2020 at 5:22 PM Henry =
Cejtin &lt;<a href=3D"mailto:[email protected]">[email protected]=
</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:=
0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">=
I think that it would be a great idea if you would include an SHA256<br>
(or some such) for all the .tgz files in the release.<br>
I always get a bit nervous about downloading binaries and the like,<br>
and I get more nervous because the mlton site is http and not https.<br>
<br>
Just a thought.<br>
<br>
On Mon, Aug 17, 2020 at 8:27 AM Matthew Fluet &lt;<a href=3D"mailto:matthew=
[email protected]" target=3D"_blank">[email protected]</a>&gt; wrote:<=
br>
&gt;<br>
&gt; I&#39;m pleased to announce a new release of MLton, the whole-program =
optimizing compiler for Standard ML, available at <a href=3D"http://mlton.o=
rg/Release20200817" rel=3D"noreferrer" target=3D"_blank">http://mlton.org/R=
elease20200817</a> (and <a href=3D"https://github.com/MLton/mlton/releases/=
tag/on-20200817-release" rel=3D"noreferrer" target=3D"_blank">https://githu=
b.com/MLton/mlton/releases/tag/on-20200817-release</a>).<br>
&gt;<br>
&gt; Relative to MLton 20200722, this is primarily a bug fix release, fixin=
g an `RssaShrink` bug (<a href=3D"https://github.com/MLton/mlton/issues/401=
" rel=3D"noreferrer" target=3D"_blank">https://github.com/MLton/mlton/issue=
s/401</a>) and fixing some small issues on Solaris and MinGW platforms.<br>
&gt;<br>
&gt; Binary packages for amd64-linux and amd64-darwin are currently availab=
le from the release page (and are the platforms tested).=C2=A0 Additional b=
inary packages will be made available as they are contributed by users.=C2=
=A0 We&#39;d like to encourage downstream maintainers for the various Linux=
 and *BSD distributions to update to the new release.<br>
&gt; _______________________________________________<br>
&gt; MLton-devel mailing list<br>
&gt; <a href=3D"mailto:[email protected]" target=3D"_blank"=
>[email protected]</a>; <a href=3D"mailto:mlton-devel@mlton=
.org" target=3D"_blank">[email protected]</a><br>
&gt; <a href=3D"https://lists.sourceforge.net/lists/listinfo/mlton-devel" r=
el=3D"noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/lis=
tinfo/mlton-devel</a><br>
<br>
<br>
_______________________________________________<br>
MLton-devel mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">MLto=
[email protected]</a>; <a href=3D"mailto:[email protected]"=
 target=3D"_blank">[email protected]</a><br>
<a href=3D"https://lists.sourceforge.net/lists/listinfo/mlton-devel" rel=3D=
"noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo=
/mlton-devel</a><br>
</blockquote></div>

--000000000000bd8f0105aefd7d9a--


--===============8584924725531761078==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============8584924725531761078==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

--===============8584924725531761078==--