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