Index of /deb.debian.org/debian/pool/main/t/thonny

	Name	Last modified	Size	Description
	Parent Directory		-
	thonny_4.0.1-1.debian.tar.xz	2022-11-07 15:14	7.0K
	thonny_4.0.1-1.dsc	2022-11-07 15:14	1.6K
	thonny_4.0.1-1_all.deb	2022-11-07 15:44	906K
	thonny_4.0.1.orig.tar.gz	2022-11-07 15:14	1.5M