TIMESTAMP = 1606837215
SHA256 (petsc-3.14.1.tar.gz) = dde246d97ca77e7e4165ff3c74e5517a2f08316cd8cb6d2c4e172743c1836ef8
SIZE (petsc-3.14.1.tar.gz) = 37888585