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

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