Re: [MLton] MLton on arm64 (AArch64)

Christopher Cramer <[email protected]> Fri, 10 Jul 2015 17:20:49 -0400
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <[email protected]>
On Fri, Jul 10, 2015 at 11:02:47AM -0400, Matthew Fluet wrote:
> Unfortunately, the previous Debian maintainer for MLton has mostly
> moved on to other projects and I'm not sure how to submit the 20130715
> MLton release to Debian.

If this is the case, the usual procedure is for the Debian maintainer to
either issue a request for adoption or orphan the package. Then someone
else can adopt the package.

------------------------------------------------------------------------------
Don't Limit Your Business. Reach for the Cloud.
GigeNET's Cloud Solutions provide you with the tools and support that
you need to offload your IT needs and focus on growing your business.
Configured For All Businesses. Start Your Cloud Today.
https://www.gigenetcloud.com/