Index of /pool/main/d/dotty-dict

	Name	Last modified	Size
	Parent Directory		-
	dotty-dict_1.3.1-2.debian.tar.xz	2022-10-02 00:02	3.5K
	dotty-dict_1.3.1-2.dsc	2022-10-02 00:02	2.2K
	dotty-dict_1.3.1.orig.tar.gz	2022-10-01 18:01	40K
	python3-dotty-dict_1.3.1-2_all.deb	2022-10-02 00:02	31K