SHA256 (petsc-2.3.3-p0.tar.gz) = a08d0f2022349321a26ae6c63f0ad5b069d37f48028377c549b81cc3e7b97ddf SIZE (petsc-2.3.3-p0.tar.gz) = 10966078