<div class="gmail_quote">On Wed, Sep 28, 2011 at 16:54, Rodrigo Paz <span dir="ltr"><<a href="mailto:rodrigo.r.paz@gmail.com">rodrigo.r.paz@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<font color="#000000">Hi all, today I downloaded the last tarball petsc-3.2-p2.tar.gz</font><div><font color="#000000">It has 19.8Mb, is this OK?!</font></div></blockquote></div><br><div>Of course it's okay. ;-)</div>
<div><br></div><div>petsc-lite-3.2-p2.tar.gz is about half the size because it doesn't include the online documentation, the source code is identical.</div>