yanzhuohao/pytorch-cu110: links for mypy-extensions