llvm           : 3238:217640
bugle          : 587c5c9cfdf1ab31eebfbfec38e7c7754a344c29
libclc         : 147756:225040
vcgen          : 30b3fdc024738c78ae9077dd0412720284e5715c
z3             : No version information available ([Error 2] The system cannot find the file specified: 'C:\\data\\autobuild-cvc4\\windows\\z3')
cvc4           : fe9b2276fac81030eb9803d4327f7458bae2576e
local-revision : 1703
Deployed on Wed Feb 11 09:08:57 2015 (UTC)