0000000000000000000000000000000000000000 c1a78086615f94e8ba901d15a1b091e0df1c0fb2 oopsla13 <oopsla13@gpuverify.(none)> 1364675220 +0000	clone: from http://llvm.org/git/libclc.git
