Index of /debian/pool/main/p/pinto

	Name	Last modified	Size
	Parent Directory		-
	pinto_0.97+dfsg-5_all.deb	24-Feb-2019 20:14	339K
	pinto_0.14000-1_all.deb	18-May-2020 19:56	338K
	pinto_0.14000-2_all.deb	16-Oct-2022 08:12	335K
	pinto_0.14000-3_all.deb	21-Apr-2025 17:34	317K