[MLton-devel] no libgmp requirement?

[Henry Cejtin]

I agree on waiting for demand on Red Hat 6.* RPMs, but what about changing
the spec file to just require gpm?  Do we care about the version?  I.e., if
some one has the older libgmp won't our stuff work unchanged and as compiled
on the binary RPM?  I guess it might not.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel