Index of /mirrors/raspbian/raspbian/pool/main/a/aac-tactics

      Name                                          Last modified      Size  Description
      Parent Directory                                                   -   
      aac-tactics_0.4-3.debian.tar.xz               2014-07-30 10:11  2.9K  
      aac-tactics_0.4-3.dsc                         2014-07-30 10:11  2.2K  
      aac-tactics_0.4.orig.tar.gz                   2013-12-06 07:54   76K  
      aac-tactics_8.11.0-1.debian.tar.xz            2020-03-17 16:16  3.4K  
      aac-tactics_8.11.0-1.dsc                      2020-03-17 16:16  2.1K  
      aac-tactics_8.11.0.orig.tar.gz                2020-03-17 16:16   64K  
      aac-tactics_8.15.1-6.debian.tar.xz            2022-06-12 13:00  3.7K  
      aac-tactics_8.15.1-6.dsc                      2022-06-12 13:00  2.2K  
      aac-tactics_8.15.1.orig.tar.gz                2022-04-03 21:10   67K  
      aac-tactics_8.17.0-1.debian.tar.xz            2023-01-04 19:04  3.5K  
      aac-tactics_8.17.0-1.dsc                      2023-01-04 19:04  2.1K  
      aac-tactics_8.17.0.orig.tar.gz                2023-01-04 19:04   74K  
      aac-tactics_8.6.1-1.debian.tar.xz             2016-12-30 10:13  3.1K  
      aac-tactics_8.6.1-1.dsc                       2016-12-30 10:13  2.2K  
      aac-tactics_8.6.1.orig.tar.gz                 2016-12-30 10:13   73K  
      aac-tactics_8.9.0-1.debian.tar.xz             2020-02-02 14:43  3.3K  
      aac-tactics_8.9.0-1.dsc                       2020-02-02 14:43  1.9K  
      aac-tactics_8.9.0.orig.tar.gz                 2020-02-02 14:43   65K  
      libaac-tactics-coq_0.4-3_all.deb              2014-07-30 10:11  209K  
      libaac-tactics-coq_8.11.0-1_all.deb           2020-03-17 16:36  239K  
      libaac-tactics-coq_8.6.1-1_all.deb            2016-12-30 10:13  217K  
      libaac-tactics-coq_8.9.0-1_all.deb            2020-02-02 15:29  244K  
      libaac-tactics-ocaml-dev_0.4-3_armhf.deb      2014-08-13 18:11   43K  
      libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb   2022-07-10 07:51   39K  
      libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb    2017-01-17 04:08   38K  
      libaac-tactics-ocaml-dev_8.9.0-1+b1_armhf.deb 2020-02-18 10:08   40K  
      libaac-tactics-ocaml_0.4-3_armhf.deb          2014-08-13 18:11  119K  
      libaac-tactics-ocaml_8.15.1-6_armhf.deb       2022-07-10 07:51  108K  
      libaac-tactics-ocaml_8.6.1-1_armhf.deb        2017-01-17 04:08  111K  
      libaac-tactics-ocaml_8.9.0-1+b1_armhf.deb     2020-02-18 10:08  112K  
      libcoq-aac-tactics_8.15.1-6_armhf.deb         2022-07-10 07:51  261K  
      libcoq-aac-tactics_8.17.0-1+b1_armhf.deb      2023-02-05 01:01  377K  
      libcoq-aac-tactics_8.17.0-1_armhf.deb         2023-01-10 16:08  377K