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

../
pinto_0.14000-1.debian.tar.xz                      18-May-2020 20:15               12488
pinto_0.14000-1.dsc                                18-May-2020 20:15                2785
pinto_0.14000-1_all.deb                            18-May-2020 20:56              346396
pinto_0.14000.orig.tar.gz                          18-May-2020 20:15              298712