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

      Name                          Last modified      Size  
      Parent Directory                                   -   
      pinto_0.14000-1.debian.tar.xz 2020-05-18 20:15   12K  
      pinto_0.14000-1.dsc           2020-05-18 20:15  2.7K  
      pinto_0.14000-1_all.deb       2020-05-18 20:56  338K  
      pinto_0.14000-2.debian.tar.xz 2022-10-16 07:39   12K  
      pinto_0.14000-2.dsc           2022-10-16 07:39  3.1K  
      pinto_0.14000-2_all.deb       2022-10-16 09:12  335K  
      pinto_0.14000-3.debian.tar.xz 2025-04-21 17:22   13K  
      pinto_0.14000-3.dsc           2025-04-21 17:22  3.9K  
      pinto_0.14000-3_all.deb       2025-04-21 18:34  317K  
      pinto_0.14000.orig.tar.gz     2020-05-18 20:15  292K