Red Hat 6.* RPMs

[Stephen Weeks]

> In  the  download  section,  of  the main index.html, we need to provide both
> source and binary, rpm and tgz for Red Hat 6.* and 7.*.  We  don't  have  the
> last  of  these  yet.  I will make the RPM,s but you (Stephen) should come up
> with the links and text and file names.

Why do we need different versions of the source rpm and tgz?

> We  should probably mention which versions of glibc each of these use and the
> like.

Here's the latest download section.  Help me fill in the ?? and check out the
file names.

    <h3>Download</h3>
    The latest version (20010629) is available in 
    <ul>
      <li> binary <a href = "mlton-2001062901-1.i386.rpm">rpm</a>
	and <a href = "mlton-2001062901-1.i386.tgz">tgz</a> (1.4M) for Red Hat
	7.1 (glibc 2.??)
      <li> binary <a href = "mlton-2001062901-1.rhat6x.i386.rpm">rpm</a>
	and <a href = "mlton-2001062901-1.rhat6x.i386.tgz">tgz</a> (1.4M) for
	Red Hat 6.x (glibc 1.??)
      <li> source <a href = "mlton-2001062901.src.rpm">rpm</a>
	and <a href = "mlton-2001062901.src.tgz">tgz</a> (3.2M)
    </ul>