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.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org