TIMESTAMP = 1534433660
SHA256 (CTSRD-CHERI-llvm-7.0.d20180806-7792aae9e8b96591ac265f3a1abcc917382802e3_GH0.tar.gz) = 5c0e318d811a2a05c0bb991abf39c53e30f5d59e98cfe8f2c6f1db5fa5268c5b
SIZE (CTSRD-CHERI-llvm-7.0.d20180806-7792aae9e8b96591ac265f3a1abcc917382802e3_GH0.tar.gz) = 41846708
SHA256 (CTSRD-CHERI-clang-f6d42b1c799855ce4c5bb0d2354f2cb9a383c409_GH0.tar.gz) = 504834561454bd9d9f16f55a3efc716ef50b74e4cb669a0ca754a8b397cf68c5
SIZE (CTSRD-CHERI-clang-f6d42b1c799855ce4c5bb0d2354f2cb9a383c409_GH0.tar.gz) = 17616823
SHA256 (CTSRD-CHERI-lld-70e4ea6fd0f2c7e2ddd12020ed410c4ff94401f2_GH0.tar.gz) = 8d9e8aabab182848c341763f172d7210c9de69fd6de0341997a6d9ce62b3bdd8
SIZE (CTSRD-CHERI-lld-70e4ea6fd0f2c7e2ddd12020ed410c4ff94401f2_GH0.tar.gz) = 4152405