Bug#731050: libeigen3-dev: depends on mpfrc++

[Jerome Benoit]

Package: libeigen3-dev
Severity: important

Dear Maintainer,

the libeigen3-dev package must depend on the mpfrc++ package as the
header`Eigen/MPRealSupport' includes the header `mpreal.h'.

Best regards,
Jerome

-- System Information:
Debian Release: Wheezy*
  APT prefers wheezy
  APT policy: (990, 'wheezy'), (990, 'stable-updates'), (990, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.10.5-amd64-mbp62 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

libeigen3-dev depends on no packages.

libeigen3-dev recommends no packages.

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