TIMESTAMP = 1790710627
SHA256 (petsc-3.26.0.tar.gz) = f5230023e6e22ee607802a13c82bc25f3d81e71654ad386a5b9bdff17fed93df
SIZE (petsc-3.26.0.tar.gz) = 16933940