TIMESTAMP = 1730258677
SHA256 (petsc-3.22.1.tar.gz) = 7117d3ae6827f681ed9737939d4e86896b4751e27cca941bb07e5703f19a0a7b
SIZE (petsc-3.22.1.tar.gz) = 16752281