../ thonny_3.2.7-1.debian.tar.xz 20-Feb-2020 11:54 6960 thonny_3.2.7-1.dsc 20-Feb-2020 11:54 2200 thonny_3.2.7-1_all.deb 20-Feb-2020 12:14 605852 thonny_3.2.7.orig.tar.gz 20-Feb-2020 11:54 869000 thonny_4.0.1-1.debian.tar.xz 07-Nov-2022 12:14 7184 thonny_4.0.1-1.dsc 07-Nov-2022 12:14 1626 thonny_4.0.1-1_all.deb 07-Nov-2022 12:44 928216 thonny_4.0.1.orig.tar.gz 07-Nov-2022 12:14 1587624