SHA512 (petsc-3.7.7.tar.gz) = 408b176536c66b24ceebcc09ba94682d776b157a3eb841fe976b576fd4dc6073e65e76814f95d40a48f8c49dce3f4132dde0249ace64335ad37d2b347f0ed46d