[MLton-devel] RedHat 7.1/7.3 problems

[Henry Cejtin]

Note, a straight Red Hat 7.3 has the following RPM versions:
	glibc	2.2.5-34
	gcc	2.96-110
while the latest 7.3 update is
	glibc	2.2.5-39
	gcc	2.96-112


-------------------------------------------------------
In remembrance
www.osdn.com/911/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel