<div class="gmail_quote">On Mon, Nov 7, 2011 at 09:33, Ping Rong <span dir="ltr">&lt;<a href="mailto:ping.rong@tuhh.de">ping.rong@tuhh.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div bgcolor="#FFFFFF" text="#000000">I did the reconfiguration with the dev version, but still it
    downloads the 2.5 and 4.2. <br></div></blockquote><div><br></div><div>Either you have an old of petsc-dev (update it) or you didn&#39;t delete the files/directories as I wrote in my last email.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div bgcolor="#FFFFFF" text="#000000">
    Should 3.2-p5 use 3.0 and 4.3 as well?</div></blockquote></div><br><div>No, petsc-3.2 was released before those upgrades.</div>