../ thonny_3.1.2-1.debian.tar.xz 22-Feb-2019 16:25 6852 thonny_3.1.2-1.dsc 22-Feb-2019 16:25 2200 thonny_3.1.2-1_all.deb 22-Feb-2019 16:25 306668 thonny_3.1.2.orig.tar.gz 22-Feb-2019 16:25 378077