Index of /pool/main/t/thonny

	Name	Last modified	Size
	Parent Directory		-
	thonny_3.1.2-1.debian.tar.xz	22-Feb-2019 20:25	6.7K
	thonny_3.1.2-1.dsc	22-Feb-2019 20:25	2.1K
	thonny_3.1.2-1_all.deb	22-Feb-2019 20:25	299K
	thonny_3.1.2.orig.tar.gz	22-Feb-2019 20:25	369K
	thonny_3.2.7-1.debian.tar.xz	20-Feb-2020 12:54	6.8K
	thonny_3.2.7-1.dsc	20-Feb-2020 12:54	2.1K
	thonny_3.2.7-1_all.deb	20-Feb-2020 13:14	592K
	thonny_3.2.7.orig.tar.gz	20-Feb-2020 12:54	849K
	thonny_4.0.1-1.debian.tar.xz	07-Nov-2022 13:14	7.0K
	thonny_4.0.1-1.dsc	07-Nov-2022 13:14	1.6K
	thonny_4.0.1-1_all.deb	07-Nov-2022 13:44	906K
	thonny_4.0.1.orig.tar.gz	07-Nov-2022 13:14	1.5M