PRGNAM="mypy" VERSION="1.8.0" HOMEPAGE="https://github.com/python/mypy" DOWNLOAD="https://files.pythonhosted.org/packages/16/22/25fac51008f0a4b2186da0dba3039128bd75d3fab8c07acd3ea5894f95cc/mypy-1.8.0.tar.gz" MD5SUM="7554d8421e6822de6c2c97fb33314c54" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="typing-extensions mypy_extensions" MAINTAINER="Tim Dickson" EMAIL="dickson.tim@googlemail.com"