------- Additional Comments From pfelecan at acm dot org 2005-03-31 09:10 ------- The version of libgmp is 4.1.4. I'll contact the maintainer of the package to know the build options, if he run the tests... and report back
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20692
