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
