TIMESTAMP = 1677644259
SHA256 (petsc-3.18.5.tar.gz) = df73ae13a4c5758325a9d69350cac423742657d8a8fc5782504b0e469ce46499
SIZE (petsc-3.18.5.tar.gz) = 16322252
