Processing commands for cont...@bugs.debian.org: > 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 ow...@bugs.debian.org with problems -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
