TIMESTAMP = 1464769956
SHA256 (CTSRD-CHERI-CheriVis-v0.4_GH0.tar.gz) = 507539f335e8ec7f4fb4127ad179cb200c50e28664d0d4d27991431cee5f9ebe
SIZE (CTSRD-CHERI-CheriVis-v0.4_GH0.tar.gz) = 519445