SHA512 (petsc-3.13.4.tar.gz) = b8e5b82ca670d4b6482b141add581803883e10b178fc574b788c5b32c05788cf4d63392ad9673c9d078da10759c2b77a61ec44240c667ba610d9b2e51ae36e0e