DeExpr updated with a new SHA1