https://tracinsy.ewi.tudelft.nl/pubtrac/GeniusWebPython/export/66/geniuswebcore/dist/geniusweb-1.1.0.tar.gz mypy