Index of /pool/main/p/pinto

	Name	Last modified	Size
	Parent Directory		-
	pinto_0.97+dfsg-5.debian.tar.xz	24-Feb-2019 19:04	12K
	pinto_0.97+dfsg-5.dsc	24-Feb-2019 19:04	3.5K
	pinto_0.97+dfsg-5_all.deb	24-Feb-2019 20:14	339K
	pinto_0.97+dfsg.orig.tar.gz	11-Jan-2014 21:42	170K
	pinto_0.14000-1.debian.tar.xz	18-May-2020 19:15	12K
	pinto_0.14000-1.dsc	18-May-2020 19:15	2.7K
	pinto_0.14000-1_all.deb	18-May-2020 19:56	338K
	pinto_0.14000-2.debian.tar.xz	16-Oct-2022 06:39	12K
	pinto_0.14000-2.dsc	16-Oct-2022 06:39	3.1K
	pinto_0.14000-2_all.deb	16-Oct-2022 08:12	335K
	pinto_0.14000.orig.tar.gz	18-May-2020 19:15	292K