Red Hat 6.* RPMs

[Stephen Weeks]

> We  need  different  versions  of  the  source RPM because the format of RPMs
> changed and so under Red Hat 6.0 you won't be able to  load  the  new  source
> RPM.
> 
> Red Hat 6.* uses glibc 2.1 and 7.* uses 2.2.

OK.  Here is the new Download section.

    <h3>Download</h3>
    The latest version (20010629) is available in the following formats.
    <ul>
      <li> Binary (1.4M)
	<ul>
	  <li> <a href = "mlton-2001062901-1.i386.rpm">rpm</a> and
	    <a href = "mlton-2001062901-1.i386.tgz">tgz</a> 
	    for Red Hat 7.x (glibc 2.2)
	  <li> <a href = "mlton-2001062901-1.rhat6x.i386.rpm">rpm</a>
	    and <a href = "mlton-2001062901-1.rhat6x.i386.tgz">tgz</a>
	    for Red Hat 6.x (glibc 2.1)
	</ul>
      <li> Source (3.2M)
	<ul>
	  <li> <a href = "mlton-2001062901.src.rpm">rpm</a> 
	    for Red Hat 7.x (glibc 2.2)
	  <li> <a href = "mlton-2001062901.src.rhat6x.rpm">rpm</a>
	    for Red Hat 6.x (glibc 2.1)
	  <li> <a href = "mlton-2001062901.src.tgz">tgz</a>
	</ul>
    </ul>