Index of /Debian/pool/main/c/curry-tools

	Name	Last modified	Size
	Parent Directory		-
	curry-tools-source_1.0.1+dfsg1-1_all.deb	13-Jan-2017 15:29	581K
	curry-tools-source_2.1.0-1_all.deb	31-Jan-2019 13:11	292K
	curry-tools_1.0.1+dfsg1-1.debian.tar.xz	13-Jan-2017 14:59	3.2K
	curry-tools_1.0.1+dfsg1-1.dsc	13-Jan-2017 14:59	2.0K
	curry-tools_1.0.1+dfsg1.orig.tar.xz	13-Jan-2017 14:59	575K
	curry-tools_2.1.0-1.debian.tar.xz	31-Jan-2019 12:26	3.7K
	curry-tools_2.1.0-1.dsc	31-Jan-2019 12:26	2.0K
	curry-tools_2.1.0.orig.tar.gz	31-Jan-2019 12:26	522K