TIMESTAMP = 1641532277
SHA256 (petsc-3.16.3.tar.gz) = eff44c7e7f12991dc7d2b627c477807a215ce16c2ce8a1c78aa8237ddacf6ca5
SIZE (petsc-3.16.3.tar.gz) = 16799550