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.