Re: [MLton] MLton on Debian

Matthew Fluet <[email protected]> Thu, 24 Apr 2025 14:48:47 -0400
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL6nqZHrCBwkNYe0+meCZA8QRs03XQP_Ndq0raDZZ48LEg@mail.gmail.com>
--===============5391646352246438483==
Content-Type: multipart/alternative; boundary="000000000000ac141a06338aab8e"

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

Agreed, but will need help from an interested Debian developer.

On Wed, Apr 23, 2025 at 12:40=E2=80=AFPM Henry Cejtin <[email protected]=
om>
wrote:

> I wish someone could do something to actually get a MLton package back
> on Debian.
> I am happy to help if I can do anything, although not sure what I can do.
> It takes someone who is a Debian developer.
>
> I certainly mainly run Debian, and it wasn't any problem getting a
> version to run, or making
> it on the system.  I don't know enough to know how to make a Debian
> package.
> If even just that part could be done, and put in the Mlton release
> page, it would make it easier
> for other people who run Debian or derivatives of it (like Ubuntu).
>
>
> _______________________________________________
> MLton-devel mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>

--000000000000ac141a06338aab8e
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:arial,sa=
ns-serif;font-size:large">Agreed, but will need help from an interested Deb=
ian developer.</div></div><br><div class=3D"gmail_quote gmail_quote_contain=
er"><div dir=3D"ltr" class=3D"gmail_attr">On Wed, Apr 23, 2025 at 12:40=E2=
=80=AFPM Henry Cejtin &lt;<a href=3D"mailto:[email protected]">henry.c=
[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" s=
tyle=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);pad=
ding-left:1ex">I wish someone could do something to actually get a MLton pa=
ckage back<br>
on Debian.<br>
I am happy to help if I can do anything, although not sure what I can do.<b=
r>
It takes someone who is a Debian developer.<br>
<br>
I certainly mainly run Debian, and it wasn&#39;t any problem getting a<br>
version to run, or making<br>
it on the system.=C2=A0 I don&#39;t know enough to know how to make a Debia=
n package.<br>
If even just that part could be done, and put in the Mlton release<br>
page, it would make it easier<br>
for other people who run Debian or derivatives of it (like Ubuntu).<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>

--000000000000ac141a06338aab8e--


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


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

--===============5391646352246438483==--