SHA512 (petsc-3.12.2.tar.gz) = 8b4a402f2798b007e0afff3d9ebf5c44635c49df38b8ed83011d22020afef88136ca473e03bb07363be11102e0b2b051649d11e2cbefaa85fbecbace4ef0d1bc