SHA512 (petsc-3.9.3.tar.gz) = d9d8f8f7d596c6a3ef9c242f4f17c1b6c2b5955bde15c0a19108cc46d38d78103022530628237d0c3a1047def07ddaafbf3814db5144fd3e838a30d5c98628c4