[MLton-user] Package of latest release for Debian stable?

[andrew cooke]

why do you have to uninstall/reinstall it?  are you aware of how to use
/etc/apt/preferences?  (sorry if you know this, but if not, it may help
you).  i have debian testing with some packages from unstable, and apt
works fine (although i use mlton on a laptop running windows).

andrew

Adam Chlipala said:
> I've been unable to find on the web a MLton Debian package that will
> work with Debian stable.  This is painful for me, because I want to use
> MLton on a server running stable that doesn't have enough RAM to compile
> MLton.  Currently, I install the latest Debian package manually,
> ignoring the warnings, and uninstall/reinstall it every time I want to
> use apt.  It seems to work fine while installed, which leads me to
> believe there should be a simple way to make a package that works
> seamlessly with stable.  Can anyone help me out in getting such a package?
>
> Thanks
>
> _______________________________________________
> MLton-user mailing list
> MLton-user@mlton.org
> http://www.mlton.org/mailman/listinfo/mlton-user
>
>


-- 
` __ _ __ ___  ___| |_____   work web site: http://www.ctio.noao.edu/~andrew
 / _` / _/ _ \/ _ \ / / -_)  personal web site: http://www.acooke.org/andrew
 \__,_\__\___/\___/_\_\___|  personal gallery: http://www.acooke.org/pancito