Index of /ubuntu-ports/pool/universe/a/aac-tactics

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                      -   
[   ] aac-tactics_0.4-2.debian.tar.xz                  2014-01-20 12:09  2.8K  
[   ] aac-tactics_0.4-2.dsc                            2014-01-20 12:09  2.1K  
[   ] aac-tactics_0.4-5build2.debian.tar.xz            2015-11-05 01:30  3.0K  
[   ] aac-tactics_0.4-5build2.dsc                      2015-11-05 01:30  1.9K  
[   ] aac-tactics_0.4.orig.tar.gz                      2013-12-06 18:23   76K  
[   ] aac-tactics_8.11.0-1.debian.tar.xz               2020-03-18 19:28  3.4K  
[   ] aac-tactics_8.11.0-1.dsc                         2020-03-18 19:28  2.1K  
[   ] aac-tactics_8.11.0.orig.tar.gz                   2020-03-18 19:28   64K  
[   ] aac-tactics_8.15.0-1.debian.tar.xz               2022-02-06 18:19  3.5K  
[   ] aac-tactics_8.15.0-1.dsc                         2022-02-06 18:19  2.2K  
[   ] aac-tactics_8.15.0.orig.tar.gz                   2022-02-06 18:19   67K  
[   ] aac-tactics_8.18.0-1build3.debian.tar.xz         2024-04-08 09:57  3.8K  
[   ] aac-tactics_8.18.0-1build3.dsc                   2024-04-08 09:57  2.1K  
[   ] aac-tactics_8.18.0.orig.tar.gz                   2023-12-22 00:52   74K  
[   ] aac-tactics_8.19.1-2build3.debian.tar.xz         2024-09-07 17:43  3.8K  
[   ] aac-tactics_8.19.1-2build3.dsc                   2024-09-07 17:43  2.1K  
[   ] aac-tactics_8.19.1.orig.tar.gz                   2024-06-11 19:54   75K  
[   ] aac-tactics_8.20.0-1.debian.tar.xz               2024-11-20 19:47  3.7K  
[   ] aac-tactics_8.20.0-1.dsc                         2024-11-20 19:47  2.1K  
[   ] aac-tactics_8.20.0.orig.tar.gz                   2024-11-20 19:47   76K  
[   ] aac-tactics_8.6.1-2.debian.tar.xz                2017-11-01 14:05  3.2K  
[   ] aac-tactics_8.6.1-2.dsc                          2017-11-01 14:05  2.2K  
[   ] aac-tactics_8.6.1.orig.tar.gz                    2016-12-30 18:13   73K  
[   ] libaac-tactics-coq_0.4-2_all.deb                 2014-01-20 12:33  208K  
[   ] libaac-tactics-coq_0.4-5build2_all.deb           2015-11-05 01:33  208K  
[   ] libaac-tactics-coq_8.11.0-1_all.deb              2020-03-18 20:48  238K  
[   ] libaac-tactics-coq_8.15.0-1_all.deb              2022-02-06 20:04  282K  
[   ] libaac-tactics-coq_8.6.1-2_all.deb               2017-11-01 14:05  216K  
[   ] libaac-tactics-ocaml-dev_0.4-2_arm64.deb         2014-01-20 12:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-2_armhf.deb         2014-01-20 12:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-2_powerpc.deb       2014-01-20 12:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb       2014-02-17 23:44   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb   2015-11-05 01:34   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb   2015-11-05 01:34   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb 2015-11-05 01:34   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb 2015-11-05 04:49   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb   2016-01-05 18:05   43K  
[   ] libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb      2020-03-18 20:48   38K  
[   ] libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb    2020-03-18 20:48   38K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb      2022-02-06 20:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb      2022-02-06 20:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb    2022-02-06 20:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb    2022-02-06 20:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb      2022-02-06 20:05   40K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb       2017-11-01 14:05   37K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb       2017-11-01 15:20   37K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb     2017-11-01 14:05   37K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb       2017-11-01 14:05   37K  
[   ] libaac-tactics-ocaml_0.4-2_arm64.deb             2014-01-20 12:33   27K  
[   ] libaac-tactics-ocaml_0.4-2_armhf.deb             2014-01-20 12:33  121K  
[   ] libaac-tactics-ocaml_0.4-2_powerpc.deb           2014-01-20 12:33  111K  
[   ] libaac-tactics-ocaml_0.4-2_ppc64el.deb           2014-02-17 23:44   27K  
[   ] libaac-tactics-ocaml_0.4-5build2_arm64.deb       2015-11-05 01:34  111K  
[   ] libaac-tactics-ocaml_0.4-5build2_armhf.deb       2015-11-05 01:34  115K  
[   ] libaac-tactics-ocaml_0.4-5build2_powerpc.deb     2015-11-05 01:34  106K  
[   ] libaac-tactics-ocaml_0.4-5build2_ppc64el.deb     2015-11-05 04:49   28K  
[   ] libaac-tactics-ocaml_0.4-5build2_s390x.deb       2016-01-05 18:05   28K  
[   ] libaac-tactics-ocaml_8.11.0-1_arm64.deb          2020-03-18 20:48  118K  
[   ] libaac-tactics-ocaml_8.11.0-1_ppc64el.deb        2020-03-18 20:48  111K  
[   ] libaac-tactics-ocaml_8.15.0-1_arm64.deb          2022-02-06 20:05  147K  
[   ] libaac-tactics-ocaml_8.15.0-1_armhf.deb          2022-02-06 20:05  128K  
[   ] libaac-tactics-ocaml_8.15.0-1_ppc64el.deb        2022-02-06 20:05  134K  
[   ] libaac-tactics-ocaml_8.15.0-1_riscv64.deb        2022-02-06 20:05  129K  
[   ] libaac-tactics-ocaml_8.15.0-1_s390x.deb          2022-02-06 20:05  132K  
[   ] libaac-tactics-ocaml_8.6.1-2_arm64.deb           2017-11-01 14:05  133K  
[   ] libaac-tactics-ocaml_8.6.1-2_armhf.deb           2017-11-01 15:20  114K  
[   ] libaac-tactics-ocaml_8.6.1-2_ppc64el.deb         2017-11-01 14:05  124K  
[   ] libaac-tactics-ocaml_8.6.1-2_s390x.deb           2017-11-01 14:05  120K  
[   ] libcoq-aac-tactics_8.18.0-1build3_arm64.deb      2024-04-08 09:57  429K  
[   ] libcoq-aac-tactics_8.18.0-1build3_armhf.deb      2024-04-08 09:57  411K  
[   ] libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb    2024-04-08 09:57  418K  
[   ] libcoq-aac-tactics_8.18.0-1build3_riscv64.deb    2024-04-08 09:57  418K  
[   ] libcoq-aac-tactics_8.18.0-1build3_s390x.deb      2024-04-08 09:57  417K  
[   ] libcoq-aac-tactics_8.19.1-2build3_arm64.deb      2024-09-07 17:44  445K  
[   ] libcoq-aac-tactics_8.19.1-2build3_ppc64el.deb    2024-09-07 17:44  433K  
[   ] libcoq-aac-tactics_8.19.1-2build3_riscv64.deb    2024-09-07 18:34  437K  
[   ] libcoq-aac-tactics_8.19.1-2build3_s390x.deb      2024-09-07 17:44  436K  
[   ] libcoq-aac-tactics_8.20.0-1_arm64.deb            2024-11-20 22:31  435K  
[   ] libcoq-aac-tactics_8.20.0-1_ppc64el.deb          2024-11-20 22:31  425K  
[   ] libcoq-aac-tactics_8.20.0-1_riscv64.deb          2024-11-21 00:31  428K  
[   ] libcoq-aac-tactics_8.20.0-1_s390x.deb            2024-11-20 22:31  426K
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80