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