Index of /pub/gnu_linux/ubuntu/ubuntu/pool/universe/p/pat

      Name                                          Last modified      Size  Description
      Parent Directory                                                   -   
      pat_0.12.1-1.debian.tar.xz                    2022-02-11 18:24  114K  
      pat_0.12.1-1.dsc                              2022-02-11 18:24  2.0K  
      pat_0.12.1-1_amd64.deb                        2022-02-11 18:45  3.3M  
      pat_0.12.1.orig.tar.gz                        2022-02-11 18:24  392K  
      pat_0.13.1-1.debian.tar.xz                    2022-11-05 23:01   17K  
      pat_0.13.1-1.dsc                              2022-11-05 23:01  2.6K  
      pat_0.13.1-1_amd64.deb                        2022-11-06 01:39  3.6M  
      pat_0.13.1.orig.tar.gz                        2022-11-05 23:01  701K  
      pat_0.15.0-1build1.debian.tar.xz              2023-08-24 04:50   21K  
      pat_0.15.0-1build1.dsc                        2023-08-24 04:51  2.6K  
      pat_0.15.0-1build1_amd64.deb                  2023-08-24 04:51  3.8M  
      pat_0.15.0-1ubuntu0.1.debian.tar.xz           2024-01-29 02:59   21K  
      pat_0.15.0-1ubuntu0.1.dsc                     2024-01-29 02:59  2.6K  
      pat_0.15.0-1ubuntu0.1_amd64.deb               2024-01-29 03:00  3.8M  
      pat_0.15.0.orig.tar.gz                        2023-07-28 07:34  697K  
      pat_0.15.1-1.debian.tar.xz                    2023-12-09 12:27   21K  
      pat_0.15.1-1.dsc                              2023-12-09 12:27  2.6K  
      pat_0.15.1-1_amd64.deb                        2023-12-09 12:27  3.8M  
      pat_0.15.1.orig.tar.gz                        2023-12-09 12:27  727K