MD5 (petsc-2.3.2-p8.tar.gz) = 6eb51facb8ef2a3dc1cceb5d1b60162e
SHA256 (petsc-2.3.2-p8.tar.gz) = 9a5bf4b9d77ca200fdecce9fd093bc2b37410e974a85b7cb13102e9b94bbc103
SIZE (petsc-2.3.2-p8.tar.gz) = 10836578