[MLton-devel] no libgmp requirement?

[Stephen Weeks]

> I guess that my suggestion would be
>     requires:       gmp >= 3.1.1, gmp-devel >= 3.1.1
> for the Red Hat 7.* RPMs and

OK.  I did that, remade, and now see the following, which looks OK to
me.

% rpm -qRp mlton-20020924-1.i386.rpm 
gmp >= 3.1.1
gmp-devel >= 3.1.1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ld-linux.so.2  
libc.so.6  
libm.so.6  
/bin/sh  
libc.so.6(GLIBC_2.0)  
libc.so.6(GLIBC_2.1)  
libc.so.6(GLIBC_2.1.3)  
libm.so.6(GLIBC_2.0)  
rpmlib(CompressedFileNames) <= 3.0.4-1


-------------------------------------------------------
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