https://tracinsy.ewi.tudelft.nl/pubtrac/Utilities/export/264/uri/dist/uri-1.0.0.tar.gz mypy