PRGNAM="thonny" VERSION="3.0.5" HOMEPAGE="http://thonny.org/" DOWNLOAD="https://pypi.debian.net/thonny/thonny-3.0.5.tar.gz" MD5SUM="eeb343bcd861e4f7732e25ee2568fa58" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="python3-jedi python3-docutils python3-pylint python3-pyserial mypy_extensions" MAINTAINER="Tim Dickson" EMAIL="dickson.tim@googlemail.com"