<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">On 01/12/2013 13:52, Anton Gladky
      wrote:<br>
    </div>
    <blockquote
cite="mid:CALF6qJmC9o=b4m1Yvhd-=FOtMgU=1Xaf3_Tcts3BcFn+_JV73g@mail.gmail.com"
      type="cite">
      <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>
        <br>
      </div>
    </blockquote>
    Declaring mpfrc++ as recommends might be a good compromise. Don't
    you think ?<br>
    <br>
    Sylvestre<br>
    <br>
    <br>
  </body>
</html>