TIMESTAMP = 1693459032
SHA256 (petsc-3.19.5.tar.gz) = 511aa78cad36db2dfd298acf35e9f7afd2ecc1f089da5b0b5682507a31a5d6b2
SIZE (petsc-3.19.5.tar.gz) = 16635305
