TIMESTAMP = 1533142867
SHA256 (CTSRD-CHERI-qemu-0.d20180727-1356c0d237cc65d95f20f2eac69df3db9de5f6e2_GH0.tar.gz) = 12fbfc5a6d141dad82ed22ae76bdcd0b66b2ffb655a4bf2545c7dba0e5f2d450
SIZE (CTSRD-CHERI-qemu-0.d20180727-1356c0d237cc65d95f20f2eac69df3db9de5f6e2_GH0.tar.gz) = 16142190
SHA256 (qemu-keycodemapdb-6b3d716_GH0.tar.gz) = c9d3412510aac999865d01aaa14b1fa8dc0385db55c5cf6c4d95d160bd0eaee9
SIZE (qemu-keycodemapdb-6b3d716_GH0.tar.gz) = 47905