Bug#906126: libeigen3-dev: suggest libmrpt-dev but should be libmpfrc++-dev

[Jochen Sprickerhof]

Package: libeigen3-dev
Version: 3.3.4-4
Severity: normal

Hi Anton,

in #731050 Jerome proposed to add a suggest on libmpfrc++-dev but you
added libmrpt-dev to close the issue.

https://packages.debian.org/search?searchon=contents&keywords=mpreal.h&mode=path&suite=unstable&arch=any

is telling me that libmpfrc++-dev would still be the right package and

$ dpkg -L libeigen3-dev | xargs grep mpreal.h
/usr/include/eigen3/unsupported/Eigen/MPRealSupport:#include <mpreal.h>

indicates that it should still be added.

I can change it in git if you agree.

Cheers Jochen

-- System Information:
Debian Release: buster/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.17.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages libeigen3-dev depends on:
ii  pkg-config  0.29-4+b1

libeigen3-dev recommends no packages.

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

-- no debconf information