Package: libgmp-dev Version: 2:5.1.3+dfsg-1 Severity: wishlist The info documentation of GNU MP is located in gmp-doc. It would be nice if gmp-doc was also suggested by libgmp-dev.
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers