SHA512 (petsc-3.13.2.tar.gz) = 6f85d38dd9853c58500bae3e61f392f326730de6143d5b6e38b74a87186c5e35b982f7f22f1a63db65b63966c9881834335a43655ef8a439a1f5e44f5c0a85fa