TIMESTAMP = 1717050402
SHA256 (petsc-3.21.2.tar.gz) = a1ac62b6204bdf2f7f9b637abf45e6cff24d372d4d3d3702c50e157bdb56eb21
SIZE (petsc-3.21.2.tar.gz) = 17336556