buildkit/solver/errdefs/errdefs.proto