../ thonny_3.0.8-1.debian.tar.xz 06-Dec-2018 18:00 6760 thonny_3.0.8-1.dsc 06-Dec-2018 18:00 2200 thonny_3.0.8-1_all.deb 06-Dec-2018 18:00 295200 thonny_3.0.8.orig.tar.gz 06-Dec-2018 18:00 360603 thonny_3.1.2-1.debian.tar.xz 05-Mar-2019 12:01 6852 thonny_3.1.2-1.dsc 05-Mar-2019 12:01 2200 thonny_3.1.2-1_all.deb 05-Mar-2019 12:02 306668 thonny_3.1.2.orig.tar.gz 05-Mar-2019 12:01 378077