TIMESTAMP = 1615756797
SHA256 (CoCoALib-0.99712.tgz) = eff4432565d0be2ac2e7c7ace7f404dba370eb7d3d71e321bcb8b439489d11d3
SIZE (CoCoALib-0.99712.tgz) = 5598997
