TIMESTAMP = 1688100781
SHA256 (petsc-3.19.3.tar.gz) = 008239c016b869693ec8e81368a0b7638462e667d07f7d50ed5f9b75ccc58d17
SIZE (petsc-3.19.3.tar.gz) = 16641245
