<div dir="ltr">Hi Jerome,<div><br></div><div>thanks for bug-report. But I do not think, it is a good idea to add </div><div>some more dependencies to header-only library. </div><div><br></div><div>In most of cases it is enough to use only libeigen3-dev. But if</div>

<div>the software uses some additional headers through Eigen3 (like</div><div><span style="font-family:arial,sans-serif;font-size:13px">MPReal, for example), the maintainer should add it explicitly </span><br></div><div>
<span style="font-family:arial,sans-serif;font-size:13px">to his dependecy-list.</span></div>
<div><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div><span style="font-family:arial,sans-serif;font-size:13px">Please, close the bug.</span></div><div><span style="font-family:arial,sans-serif;font-size:13px"><br>

</span></div><div><span style="font-family:arial,sans-serif;font-size:13px">Thanks,</span></div><div class="gmail_extra"><br clear="all"><div>Anton</div>
<br><br><div class="gmail_quote">2013/12/1 Jerome Benoit <span dir="ltr"><<a href="mailto:calculus@rezozer.net" target="_blank">calculus@rezozer.net</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Package: libeigen3-dev<br>
Severity: important<br>
<br>
Dear Maintainer,<br>
<br>
the libeigen3-dev package must depend on the mpfrc++ package as the<br>
header`Eigen/MPRealSupport' includes the header `mpreal.h'.<br>
<br>
Best regards,<br>
Jerome</blockquote></div></div></div>