llvm           : 199542
bugle          : 49065c948cb4cb13f2695f8564406fe6db4271b5
libclc         : 9f8cb147592f427f9eff629e04b5004fa6ed888e
vcgen          : 1057285fefbd0f2c53f06fc038f3459003cdc491
z3             : 89c1785b73225a1b363c0e485f854613121b70a7
cvc4           : 86094a88045847c76f54535b34730f8b9895e842
local-revision : 1188
Deployed on Fri Jan 31 09:10:34 2014 (UTC)