../ thonny_3.1.2-1.debian.tar.xz 23-Feb-2019 03:25 6852 thonny_3.1.2-1.dsc 23-Feb-2019 03:25 2200 thonny_3.1.2-1_all.deb 23-Feb-2019 03:25 299K thonny_3.1.2.orig.tar.gz 23-Feb-2019 03:25 369K