TIMESTAMP = 1735966064
SHA256 (petsc-3.22.2.tar.gz) = 83624de0178b42d37ca1f7f905e1093556c6919fe5accd3e9f11d00a66e11256
SIZE (petsc-3.22.2.tar.gz) = 16753088
