TIMESTAMP = 1540050650
SHA256 (petsc-3.10.2.tar.gz) = 9d3381bcf9c63abe6521b21a88efc70f8e893293503cff497971d0d9c1ec68cc
SIZE (petsc-3.10.2.tar.gz) = 31083036