Index of /boss/pool/urja/main/p/pinto
Name
Last modified
Size
Description
Parent Directory
-
pinto_0.14000-1_all.deb
2022-04-28 11:30
338K
pinto_0.14000.orig.tar.gz
2022-04-28 11:30
292K
pinto_0.14000-1.debian.tar.xz
2022-04-28 11:30
12K
pinto_0.14000-1.dsc
2022-04-28 11:30
2.7K