../ thonny_3.1.2-1.debian.tar.xz 22-Feb-2019 19:25 6852 thonny_3.1.2-1.dsc 22-Feb-2019 19:25 2200 thonny_3.1.2-1_all.deb 22-Feb-2019 19:25 299K thonny_3.1.2.orig.tar.gz 22-Feb-2019 19:25 369K