TIMESTAMP = 1788944012
SHA256 (petsc-3.25.5.tar.gz) = 6d61c472db39006d261542d1a42f1fa6c52d6e89f9e77041386189aa8c24b490
SIZE (petsc-3.25.5.tar.gz) = 16721658
