Index of /debian/pool/main/a/aac-tactics

      Name                                       Last modified      Size  
      Parent Directory                                                -   
      aac-tactics_8.17.0-1.debian.tar.xz         2023-01-04 21:04  3.5K  
      aac-tactics_8.17.0-1.dsc                   2023-01-04 21:04  2.1K  
      aac-tactics_8.17.0.orig.tar.gz             2023-01-04 21:04   74K  
      aac-tactics_8.18.0-1.debian.tar.xz         2023-12-21 16:34  3.6K  
      aac-tactics_8.18.0-1.dsc                   2023-12-21 16:34  2.1K  
      aac-tactics_8.18.0.orig.tar.gz             2023-12-21 16:34   74K  
      aac-tactics_8.19.0-1.debian.tar.xz         2024-04-26 16:46  3.6K  
      aac-tactics_8.19.0-1.dsc                   2024-04-26 16:46  2.1K  
      aac-tactics_8.19.0.orig.tar.gz             2024-04-26 16:46   75K  
      libcoq-aac-tactics_8.17.0-1+b2_amd64.deb   2023-02-13 07:11  381K  
      libcoq-aac-tactics_8.17.0-1+b2_arm64.deb   2023-02-13 07:11  389K  
      libcoq-aac-tactics_8.17.0-1+b2_armhf.deb   2023-02-13 07:11  379K  
      libcoq-aac-tactics_8.17.0-1+b2_i386.deb    2023-02-13 07:06  373K  
      libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb 2023-02-13 07:11  384K  
      libcoq-aac-tactics_8.17.0-1+b2_s390x.deb   2023-02-13 07:06  382K  
      libcoq-aac-tactics_8.18.0-1_amd64.deb      2023-12-21 19:31  375K  
      libcoq-aac-tactics_8.18.0-1_arm64.deb      2023-12-31 10:40  383K  
      libcoq-aac-tactics_8.18.0-1_armhf.deb      2023-12-31 10:40  373K  
      libcoq-aac-tactics_8.18.0-1_i386.deb       2023-12-31 10:40  367K  
      libcoq-aac-tactics_8.18.0-1_ppc64el.deb    2023-12-26 10:41  377K  
      libcoq-aac-tactics_8.18.0-1_s390x.deb      2023-12-26 19:07  376K  
      libcoq-aac-tactics_8.19.0-1_amd64.deb      2024-04-28 01:03  383K  
      libcoq-aac-tactics_8.19.0-1_arm64.deb      2024-04-28 01:03  391K  
      libcoq-aac-tactics_8.19.0-1_armhf.deb      2024-04-28 01:08  381K  
      libcoq-aac-tactics_8.19.0-1_i386.deb       2024-04-27 20:39  375K  
      libcoq-aac-tactics_8.19.0-1_ppc64el.deb    2024-04-27 20:02  386K  
      libcoq-aac-tactics_8.19.0-1_riscv64.deb    2024-04-27 20:23  386K  
      libcoq-aac-tactics_8.19.0-1_s390x.deb      2024-04-28 01:36  384K