Processing commands for [email protected]:

> close 723658
Bug #723658 [libgmp-dev] libgmp-dev:amd64: failure when compiling with gcc 
-lmpfr without -lgmp
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
723658: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723658
Debian Bug Tracking System
Contact [email protected] with problems

-- 
debian-science-maintainers mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to