yanzhuohao/pytorch-cu132: links for mypy-extensions