SHA512 (petsc-with-docs-3.17.1.tar.gz) = f919e66cee3084b7dddf91b1291f2af608261632aa7ae6e51290ee2c4f1b69f93a13145026aed5f64aa7e48edbe37863279ab45eb4ec68820a8f1e5f8e63ed15
SHA512 (petsc4py-3.17.1.tar.gz) = b53ff844027904a06d5ec633acac3a95683f48d285da217cdbe3f4ac657d3aede3450400d2bcbbf59e0f0eee7c63df3a38faa18f025796d1c62245d8fc6404c5