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