MD5 (petsc-2.3.1-p7.tar.gz) = 2d2a15d0ad066a48e14ac11d6f082b3f
SHA256 (petsc-2.3.1-p7.tar.gz) = 80e429fbcd5564b5086aecb559a0618f7551ea2891fce5f413bb1368194dca3d
SIZE (petsc-2.3.1-p7.tar.gz) = 10278608