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
