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

Icon  Name                            Last modified      Size  
[PARENTDIR] Parent Directory - [   ] pinto_0.14000-2_all.deb 2022-10-16 08:12 335K [   ] pinto_0.14000-2.dsc 2022-10-16 06:39 3.1K [   ] pinto_0.14000-2.debian.tar.xz 2022-10-16 06:39 12K [   ] pinto_0.14000-1_all.deb 2020-05-18 19:56 338K [   ] pinto_0.14000.orig.tar.gz 2020-05-18 19:15 292K [   ] pinto_0.14000-1.dsc 2020-05-18 19:15 2.7K [   ] pinto_0.14000-1.debian.tar.xz 2020-05-18 19:15 12K [   ] pinto_0.97+dfsg-5_all.deb 2019-02-24 20:14 339K [   ] pinto_0.97+dfsg-5.dsc 2019-02-24 19:04 3.5K [   ] pinto_0.97+dfsg-5.debian.tar.xz 2019-02-24 19:04 12K [   ] pinto_0.97+dfsg.orig.tar.gz 2014-01-11 21:42 170K
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443