Hi Jerome, thanks for bug-report. But I do not think, it is a good idea to add some more dependencies to header-only library.
In most of cases it is enough to use only libeigen3-dev. But if the software uses some additional headers through Eigen3 (like MPReal, for example), the maintainer should add it explicitly to his dependecy-list. Please, close the bug. Thanks, Anton 2013/12/1 Jerome Benoit <[email protected]> > 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
