TIMESTAMP = 1793813581
SHA256 (petsc-3.26.1.tar.gz) = a4dc46c1b4403545ac2274741ce10801366c4a9a7b2683b678d18f6663b93496
SIZE (petsc-3.26.1.tar.gz) = 16966895
