PRGNAM="thonny" VERSION="3.0.8" HOMEPAGE="http://thonny.org/" DOWNLOAD="https://pypi.debian.net/thonny/thonny-3.0.8.tar.gz" MD5SUM="cc72bbf2bc3712760ff1e1b6e45e8f41" 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"