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