root/dev-pypi: links for gpu-allocator