root/dev-pypi: links for dotty

root/pypi dotty-0.1.0.tar.gz