TIMESTAMP = 1740903115
SHA256 (petsc-3.22.4.tar.gz) = c32e9c606b858ff587949ddc5f28da8934b00c41ab1f6d9be5001a705bef62ee
SIZE (petsc-3.22.4.tar.gz) = 16765222