../ thonny_3.1.0-1.debian.tar.xz 30-Jan-2019 12:37 7028 thonny_3.1.0-1.dsc 30-Jan-2019 12:37 2200 thonny_3.1.0-1_all.deb 30-Jan-2019 12:37 306096 thonny_3.1.0.orig.tar.gz 30-Jan-2019 12:37 375142