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

2013-12-02 Thread Anton Gladky
Hi Jerome, it was committed yesterday [1]. [1] http://anonscm.debian.org/gitweb/?p=debian-science/packages/eigen3.git;a=commitdiff;h=6d44773a71bf1a97a0f909994f9ace9c8b471d53 Thanks, Anton

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

2013-12-02 Thread Jerome BENOIT
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hello, I submitted a similar bug report for the Debian package libboost1.54-dev (#731048): Suggests will be used. Please note that the name of the involved Debian package is libmpfrc++-dev . Thanks, Jerome On 01/12/13 14:11, Anton Gladky wrote: >

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

2013-12-01 Thread Anton Gladky
Ok, good opinions. Thanks, guys. I will add it. Anton 2013/12/1 Sébastien Villemot > Le dimanche 01 décembre 2013 à 13:52 +0100, Anton Gladky a écrit : > > > thanks for bug-report. But I do not think, it is a good idea to add > > some more dependencies to header-only library. > > > > > > In m

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

2013-12-01 Thread Sébastien Villemot
Le dimanche 01 décembre 2013 à 13:52 +0100, Anton Gladky a écrit : > 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 he

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

2013-12-01 Thread Sylvestre Ledru
On 01/12/2013 13:52, Anton Gladky wrote: > 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 Ei

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

2013-12-01 Thread Anton Gladky
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

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

2013-12-01 Thread 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