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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 pinto_0.97+dfsg-5.de..> 24-Feb-2019 18:04   12K  
 pinto_0.97+dfsg-5.dsc   24-Feb-2019 18:04  3.5K  
 pinto_0.97+dfsg-5_al..> 24-Feb-2019 19:14  339K  
 pinto_0.97+dfsg.orig..> 11-Jan-2014 20:42  170K  
 pinto_0.14000-1.debi..> 18-May-2020 17:15   12K  
 pinto_0.14000-1.dsc     18-May-2020 17:15  2.7K  
 pinto_0.14000-1_all.deb 18-May-2020 17:56  338K  
 pinto_0.14000-2.debi..> 16-Oct-2022 04:39   12K  
 pinto_0.14000-2.dsc     16-Oct-2022 04:39  3.1K  
 pinto_0.14000-2_all.deb 16-Oct-2022 06:12  335K  
 pinto_0.14000.orig.t..> 18-May-2020 17:15  292K