<div dir="ltr">Ok, good opinions. Thanks, guys.<div><br></div><div>I will add it.</div><div class="gmail_extra"><div><br>Anton</div>
<br><br><div class="gmail_quote">2013/12/1 Sébastien Villemot <span dir="ltr"><<a href="mailto:sebastien@debian.org" target="_blank">sebastien@debian.org</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Le dimanche 01 décembre 2013 à 13:52 +0100, Anton Gladky a écrit :<br>
<div class="im"><br>
> thanks for bug-report. But I do not think, it is a good idea to add<br>
> some more dependencies to header-only library.<br>
><br>
><br>
> In most of cases it is enough to use only libeigen3-dev. But if<br>
> the software uses some additional headers through Eigen3 (like<br>
> MPReal, for example), the maintainer should add it explicitly<br>
> to his dependecy-list.<br>
<br>
</div>If MPReal is an optional functionality on Eigen3, I think a Suggests on<br>
libmpfrc++-dev, or maybe even a Recommends, would make much sense.<br><div class="HOEnZb"></div></blockquote></div><br></div></div>