Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.
Summary: Review Request: mosml - Moscow ML
https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=169704
------- Additional Comments From jpmahowald(a)gmail.com 2006-04-30 17:24 EST -------
Nope.
ld -shared -o libmgmp.so intinf.o /usr/lib/libgmp.so
ld: /usr/lib/libgmp.so: No such file: No such file or directory
--
Configure bugmail:
https://bugzilla.redhat.com/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug, or are watching the QA contact.