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

../
pinto_0.14000-2.debian.tar.xz                      15-Oct-2022 22:39               12576
pinto_0.14000-2.dsc                                15-Oct-2022 22:39                3171
pinto_0.14000-2_all.deb                            16-Oct-2022 00:12              343276
pinto_0.14000.orig.tar.gz                          18-May-2020 11:15              298712