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

../
pinto_0.97+dfsg-3.debian.tar.xz                    03-Oct-2017 12:30               12288
pinto_0.97+dfsg-3.dsc                              03-Oct-2017 12:30                3513
pinto_0.97+dfsg-3_all.deb                          24-Aug-2017 09:36              349206
pinto_0.97+dfsg.orig.tar.gz                        03-Oct-2017 09:21              174311