[ANNOUNCE] RPM packages for mlton-1997-7-12

[Stephen Weeks]

> I have prepared RPM packages for MLton version 1999-7-12.
> They are available temporarily at
> 
>         ftp://urano.iceb.ufop.br/pub/smlnj
> 
> The binary package was compiled on a RedHat Linux 6.0
> (linux 2.5, glibc 2.1, egcs 1.1.2).
> 
> Prof. José Romildo Malaquias
> Departamento de Computação
> Universidade Federal de Ouro Preto
> Brasil

Thanks very much.  I installed the binary rpm and all went smoothly.

BTW, the correct url is ftp://urano.iceb.ufop.br/pub/mlton.