Bug#841260: libfplll-dev: Please add -dev dependencies

[Jerome Benoit]

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