Package: libfplll-dev
Version: 4.0.4-2
Severity: normal
Dear Julien,
I have just noticed that libfplll-dev does not Depend[s] on libgmp-dev
and libmpfr-dev (and eventually on libqd-dev) whilt it should.
Thanks,
Jerome
-- System Information:
Debian Release: Jessie*
APT prefers stable
APT policy: (990, 'stable'), (500, 'stable-updates')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.16.7-ckt20-0001-mbp62 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)
Versions of packages libfplll-dev depends on:
ii libfplll0 4.0.4-2
libfplll-dev recommends no packages.
libfplll-dev suggests no packages.
-- no debconf information
