Hello Jochen, thanks for catching it.
> I can change it in git if you agree. Yes, sure, please push in git. I am preparing the newer eigen3 version. So these changes will be uploaded soon. Regards Anton 2018-08-14 18:31 GMT+02:00 Jochen Sprickerhof <jspri...@debian.org>: > 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 > > -- > debian-science-maintainers mailing list > debian-science-maintain...@alioth-lists.debian.net > https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
