> We will have to decide what to do for the next round of MLton RPMs. The latest > Red Hat (7.0) uses a newer version of libc, so things compiled on it will not > run under Red Hat 6.*. But presumably things work the other direction. If so, then I think the clear choice is to stick with distributing a version compiled on a 6.x machine.