Index of /pios/debian/pool/main/p/pinto
Name
Last modified
Size
Description
Parent Directory
-
pinto_0.14000-1_all.deb
2020-05-18 19:56
338K
Apache/2.4.62 (Debian) Server at repo.vitracom.net Port 80