With your permission, I would like to include the rpms you made on the MLton web site. Also, if you could let us know of any problems you had in producing the rpms, that would be helpful. We would like to try to distribute rpms with all future releases of MLton. Thanks.