TIMESTAMP = 1522044231
SHA256 (petsc-3.8.4.tar.gz) = 9f78dc4dd4c58433fa18d3dd3a9029e39a83e4e4b64f845a029dd9fed44bc4c7
SIZE (petsc-3.8.4.tar.gz) = 27946435
