../ thonny_2.1.22-1.debian.tar.xz 27-Sep-2018 10:09 6588 thonny_2.1.22-1.dsc 27-Sep-2018 10:09 2138 thonny_2.1.22-1_all.deb 27-Sep-2018 10:55 160920 thonny_2.1.22.orig.tar.gz 27-Sep-2018 10:09 205471