TIMESTAMP = 1702280182
SHA256 (petsc-3.20.2.tar.gz) = 2a2d08b5f0e3d0198dae2c42ce1fd036f25c153ef2bb4a2d320ca141ac7cd30b
SIZE (petsc-3.20.2.tar.gz) = 16975723
