Index of /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 11:09  2.8K  
[TXT] aac-tactics_0.4-2.dsc                            2014-01-20 11:09  2.1K  
[   ] aac-tactics_0.4-5build2.debian.tar.xz            2015-11-05 00:30  3.0K  
[TXT] aac-tactics_0.4-5build2.dsc                      2015-11-05 00:30  1.9K  
[   ] aac-tactics_0.4.orig.tar.gz                      2013-12-06 17:23   76K  
[   ] aac-tactics_8.11.0-1.debian.tar.xz               2020-03-18 18:28  3.4K  
[TXT] aac-tactics_8.11.0-1.dsc                         2020-03-18 18:28  2.1K  
[   ] aac-tactics_8.11.0.orig.tar.gz                   2020-03-18 18:28   64K  
[   ] aac-tactics_8.15.0-1.debian.tar.xz               2022-02-06 17:19  3.5K  
[TXT] aac-tactics_8.15.0-1.dsc                         2022-02-06 17:19  2.2K  
[   ] aac-tactics_8.15.0.orig.tar.gz                   2022-02-06 17:19   67K  
[   ] aac-tactics_8.18.0-1build3.debian.tar.xz         2024-04-08 07:57  3.8K  
[TXT] aac-tactics_8.18.0-1build3.dsc                   2024-04-08 07:57  2.1K  
[   ] aac-tactics_8.18.0.orig.tar.gz                   2023-12-21 23:52   74K  
[   ] aac-tactics_8.20.0-1build3.debian.tar.xz         2025-02-18 21:25  3.9K  
[TXT] aac-tactics_8.20.0-1build3.dsc                   2025-02-18 21:25  2.1K  
[   ] aac-tactics_8.20.0-1build4.debian.tar.xz         2025-06-19 17:20  3.9K  
[TXT] aac-tactics_8.20.0-1build4.dsc                   2025-06-19 17:20  2.1K  
[   ] aac-tactics_8.20.0-1build5.debian.tar.xz         2026-01-03 19:11  3.9K  
[TXT] aac-tactics_8.20.0-1build5.dsc                   2026-01-03 19:11  2.1K  
[   ] aac-tactics_8.20.0-1build6.debian.tar.xz         2026-01-28 00:59  3.9K  
[TXT] aac-tactics_8.20.0-1build6.dsc                   2026-01-28 00:59  2.1K  
[   ] aac-tactics_8.20.0-1build8.debian.tar.xz         2026-03-04 08:35  4.0K  
[TXT] aac-tactics_8.20.0-1build8.dsc                   2026-03-04 08:35  2.1K  
[   ] aac-tactics_8.20.0.orig.tar.gz                   2024-11-20 18:47   76K  
[   ] aac-tactics_8.6.1-2.debian.tar.xz                2017-11-01 13:05  3.2K  
[TXT] aac-tactics_8.6.1-2.dsc                          2017-11-01 13:05  2.2K  
[   ] aac-tactics_8.6.1.orig.tar.gz                    2016-12-30 17:13   73K  
[   ] libaac-tactics-coq_0.4-2_all.deb                 2014-01-20 11:33  208K  
[   ] libaac-tactics-coq_0.4-5build2_all.deb           2015-11-05 00:33  208K  
[   ] libaac-tactics-coq_8.11.0-1_all.deb              2020-03-18 19:48  238K  
[   ] libaac-tactics-coq_8.15.0-1_all.deb              2022-02-06 19:04  282K  
[   ] libaac-tactics-coq_8.6.1-2_all.deb               2017-11-01 13:05  216K  
[   ] libaac-tactics-ocaml-dev_0.4-2_arm64.deb         2014-01-20 11:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-2_armhf.deb         2014-01-20 11:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-2_powerpc.deb       2014-01-20 11:33   43K  
[   ] libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb       2014-02-17 22:44   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb   2015-11-05 00:34   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb   2015-11-05 00:34   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb 2015-11-05 00:34   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb 2015-11-05 03:49   43K  
[   ] libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb   2016-01-05 17:05   43K  
[   ] libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb      2020-03-18 19:48   38K  
[   ] libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb    2020-03-18 19:48   38K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb      2022-02-06 19:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb      2022-02-06 19:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb    2022-02-06 19:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb    2022-02-06 19:05   40K  
[   ] libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb      2022-02-06 19:05   40K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb       2017-11-01 13:05   37K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb       2017-11-01 14:20   37K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb     2017-11-01 13:05   37K  
[   ] libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb       2017-11-01 13:05   37K  
[   ] libaac-tactics-ocaml_0.4-2_arm64.deb             2014-01-20 11:33   27K  
[   ] libaac-tactics-ocaml_0.4-2_armhf.deb             2014-01-20 11:33  121K  
[   ] libaac-tactics-ocaml_0.4-2_powerpc.deb           2014-01-20 11:33  111K  
[   ] libaac-tactics-ocaml_0.4-2_ppc64el.deb           2014-02-17 22:44   27K  
[   ] libaac-tactics-ocaml_0.4-5build2_arm64.deb       2015-11-05 00:34  111K  
[   ] libaac-tactics-ocaml_0.4-5build2_armhf.deb       2015-11-05 00:34  115K  
[   ] libaac-tactics-ocaml_0.4-5build2_powerpc.deb     2015-11-05 00:34  106K  
[   ] libaac-tactics-ocaml_0.4-5build2_ppc64el.deb     2015-11-05 03:49   28K  
[   ] libaac-tactics-ocaml_0.4-5build2_s390x.deb       2016-01-05 17:05   28K  
[   ] libaac-tactics-ocaml_8.11.0-1_arm64.deb          2020-03-18 19:48  118K  
[   ] libaac-tactics-ocaml_8.11.0-1_ppc64el.deb        2020-03-18 19:48  111K  
[   ] libaac-tactics-ocaml_8.15.0-1_arm64.deb          2022-02-06 19:05  147K  
[   ] libaac-tactics-ocaml_8.15.0-1_armhf.deb          2022-02-06 19:05  128K  
[   ] libaac-tactics-ocaml_8.15.0-1_ppc64el.deb        2022-02-06 19:05  134K  
[   ] libaac-tactics-ocaml_8.15.0-1_riscv64.deb        2022-02-06 19:05  129K  
[   ] libaac-tactics-ocaml_8.15.0-1_s390x.deb          2022-02-06 19:05  132K  
[   ] libaac-tactics-ocaml_8.6.1-2_arm64.deb           2017-11-01 13:05  133K  
[   ] libaac-tactics-ocaml_8.6.1-2_armhf.deb           2017-11-01 14:20  114K  
[   ] libaac-tactics-ocaml_8.6.1-2_ppc64el.deb         2017-11-01 13:05  124K  
[   ] libaac-tactics-ocaml_8.6.1-2_s390x.deb           2017-11-01 13:05  120K  
[   ] libcoq-aac-tactics_8.18.0-1build3_arm64.deb      2024-04-08 07:57  429K  
[   ] libcoq-aac-tactics_8.18.0-1build3_armhf.deb      2024-04-08 07:57  411K  
[   ] libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb    2024-04-08 07:57  418K  
[   ] libcoq-aac-tactics_8.18.0-1build3_riscv64.deb    2024-04-08 07:57  418K  
[   ] libcoq-aac-tactics_8.18.0-1build3_s390x.deb      2024-04-08 07:57  417K  
[   ] libcoq-aac-tactics_8.20.0-1build3_arm64.deb      2025-02-18 21:25  436K  
[   ] libcoq-aac-tactics_8.20.0-1build3_ppc64el.deb    2025-02-18 21:26  425K  
[   ] libcoq-aac-tactics_8.20.0-1build3_riscv64.deb    2025-02-19 00:23  428K  
[   ] libcoq-aac-tactics_8.20.0-1build3_s390x.deb      2025-02-19 00:24  427K  
[   ] libcoq-aac-tactics_8.20.0-1build4_arm64.deb      2025-06-20 04:01  434K  
[   ] libcoq-aac-tactics_8.20.0-1build4_ppc64el.deb    2025-06-20 04:02  424K  
[   ] libcoq-aac-tactics_8.20.0-1build4_riscv64.deb    2025-06-20 08:01  428K  
[   ] libcoq-aac-tactics_8.20.0-1build4_s390x.deb      2025-06-20 04:02  426K  
[   ] libcoq-aac-tactics_8.20.0-1build5_arm64.deb      2026-01-04 23:06  434K  
[   ] libcoq-aac-tactics_8.20.0-1build5_ppc64el.deb    2026-01-04 23:06  424K  
[   ] libcoq-aac-tactics_8.20.0-1build5_riscv64.deb    2026-01-05 00:24  430K  
[   ] libcoq-aac-tactics_8.20.0-1build5_s390x.deb      2026-01-04 23:07  428K  
[   ] libcoq-aac-tactics_8.20.0-1build6_arm64.deb      2026-01-28 07:09  434K  
[   ] libcoq-aac-tactics_8.20.0-1build6_ppc64el.deb    2026-01-28 07:09  423K  
[   ] libcoq-aac-tactics_8.20.0-1build6_riscv64.deb    2026-01-28 09:39  430K  
[   ] libcoq-aac-tactics_8.20.0-1build6_s390x.deb      2026-01-28 08:18  428K  
[   ] libcoq-aac-tactics_8.20.0-1build8_arm64.deb      2026-03-04 08:35  434K  
[   ] libcoq-aac-tactics_8.20.0-1build8_ppc64el.deb    2026-03-04 08:35  424K  
[   ] libcoq-aac-tactics_8.20.0-1build8_riscv64.deb    2026-03-04 08:35  430K  
[   ] libcoq-aac-tactics_8.20.0-1build8_s390x.deb      2026-03-06 12:33  428K
Apache/2.4.58 (Ubuntu) Server at ubuntu-ports.mirror.net.in Port 80