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

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 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-1build3_arm64.deb      2025-02-18 22:25  436K  
 libcoq-aac-tactics_8.20.0-1build3_ppc64el.deb    2025-02-18 22:26  425K  
 libcoq-aac-tactics_8.20.0-1build3_riscv64.deb    2025-02-19 01:23  428K  
 libcoq-aac-tactics_8.20.0-1build3_s390x.deb      2025-02-19 01:24  427K