<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?!<br clear="all"></font><div><br></div><div>Rodrigo</div><div><br></div><div>
--<br>Rodrigo R. PAZ<br><div>CIMEC</div><div>Santa Fe, Argentina.<br></div></div><br>
</div>