../ 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