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 <<a href=3D"mailto:[email protected]">henry.c= [email protected]</a>> 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't any problem getting a<br> version to run, or making<br> it on the system.=C2=A0 I don'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==--