Bug#849319: libppl-dev should recommend libgmp-dev instead of the dummy package libgmp3-dev

[Vincent Lefevre]

Package: libppl-dev
Version: 1:1.2-1
Severity: wishlist

libppl-dev currently recommends libgmp3-dev, which is a dummy
transitional package to libgmp-dev. It should recommend libgmp-dev
instead.

-- System Information:
Debian Release: stretch/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'stable-updates'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.8.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)

Versions of packages libppl-dev depends on:
ii  dpkg       1.18.18
ii  libppl-c4  1:1.2-1
ii  libppl14   1:1.2-1

Versions of packages libppl-dev recommends:
ii  libgmp3-dev  2:6.1.2+dfsg-1

Versions of packages libppl-dev suggests:
pn  libppl-doc  <none>

-- no debconf information