../ thonny_3.2.7-1.debian.tar.xz 20-Feb-2020 18:54 6960 thonny_3.2.7-1.dsc 20-Feb-2020 18:54 2200 thonny_3.2.7-1_all.deb 20-Feb-2020 19:14 592K thonny_3.2.7.orig.tar.gz 20-Feb-2020 18:54 849K thonny_4.0.1-1.debian.tar.xz 07-Nov-2022 19:14 7184 thonny_4.0.1-1.dsc 07-Nov-2022 19:14 1626 thonny_4.0.1-1_all.deb 07-Nov-2022 19:44 906K thonny_4.0.1.orig.tar.gz 07-Nov-2022 19:14 2M