1 2 3
TIMESTAMP = 1672460320 SHA256 (petsc-3.18.3.tar.gz) = 8aaa005479c8ec2eed2b9cbb067cfc1ac0900b0de2176439f0d4f21e09c2020b SIZE (petsc-3.18.3.tar.gz) = 18419852