SHA256 (CTSRD-CHERI-CheriVis-0.4-98c6c04_GH0.tar.gz) = 3afb838b16c968eab98b3e7b2c2f00678d5d4f7b1087431273dc92a6a568cd38
SIZE (CTSRD-CHERI-CheriVis-0.4-98c6c04_GH0.tar.gz) = 519466