Updated tegu_op_repo to 0.7 format.