[PlanetCCRMA] RedHat 8.0 RedPlanet ISO's

[Fernando Pablo Lopez-Lezcano]

> I have a new RedHat 8.0 system at home with no network
> connectivity and thought I'd use the Red Planet ISO's
> to install all the packages but I notice that the
> latest ISO is for 7.3.

Yes, I'm still working on the 8.0 rebuild. Mostly done now so I guess I
could create an 8.0 iso, not complete but better than nothing. I'll 
announce it to the list when I'm done with it. 

-- Fernando