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

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


../
aac-tactics_0.4-2.debian.tar.xz                    20-Jan-2014 18:09    2884
aac-tactics_0.4-2.dsc                              20-Jan-2014 18:09    2191
aac-tactics_0.4-5build2.debian.tar.xz              05-Nov-2015 07:30    3076
aac-tactics_0.4-5build2.dsc                        05-Nov-2015 07:30    1914
aac-tactics_0.4.orig.tar.gz                        07-Dec-2013 00:23     76K
aac-tactics_8.11.0-1.debian.tar.xz                 19-Mar-2020 01:28    3520
aac-tactics_8.11.0-1.dsc                           19-Mar-2020 01:28    2178
aac-tactics_8.11.0.orig.tar.gz                     19-Mar-2020 01:28     64K
aac-tactics_8.15.0-1.debian.tar.xz                 07-Feb-2022 00:19    3600
aac-tactics_8.15.0-1.dsc                           07-Feb-2022 00:19    2209
aac-tactics_8.15.0.orig.tar.gz                     07-Feb-2022 00:19     67K
aac-tactics_8.15.1-6.debian.tar.xz                 13-Jun-2022 00:24    3824
aac-tactics_8.15.1-6.dsc                           13-Jun-2022 00:24    2262
aac-tactics_8.15.1.orig.tar.gz                     30-Apr-2022 08:03     67K
aac-tactics_8.16.0-1build3.debian.tar.xz           03-Dec-2022 16:59    3620
aac-tactics_8.16.0-1build3.dsc                     03-Dec-2022 16:59    2107
aac-tactics_8.16.0.orig.tar.gz                     06-Nov-2022 10:19     74K
aac-tactics_8.17.0-1.debian.tar.xz                 05-Jan-2023 06:34    3552
aac-tactics_8.17.0-1.dsc                           05-Jan-2023 06:34    2108
aac-tactics_8.17.0-1build1.debian.tar.xz           26-Jan-2023 15:54    3616
aac-tactics_8.17.0-1build1.dsc                     26-Jan-2023 15:54    2107
aac-tactics_8.17.0-1build2.debian.tar.xz           16-Feb-2023 17:06    3624
aac-tactics_8.17.0-1build2.dsc                     16-Feb-2023 17:06    2107
aac-tactics_8.17.0.orig.tar.gz                     05-Jan-2023 06:34     74K
aac-tactics_8.6.1-2.debian.tar.xz                  01-Nov-2017 20:05    3248
aac-tactics_8.6.1-2.dsc                            01-Nov-2017 20:05    2238
aac-tactics_8.6.1.orig.tar.gz                      31-Dec-2016 00:13     73K
libaac-tactics-coq_0.4-2_all.deb                   20-Jan-2014 18:33    208K
libaac-tactics-coq_0.4-5build2_all.deb             05-Nov-2015 07:33    208K
libaac-tactics-coq_8.11.0-1_all.deb                19-Mar-2020 02:48    238K
libaac-tactics-coq_8.15.0-1_all.deb                07-Feb-2022 02:04    282K
libaac-tactics-coq_8.6.1-2_all.deb                 01-Nov-2017 20:05    216K
libaac-tactics-ocaml-dev_0.4-2_arm64.deb           20-Jan-2014 18:33     43K
libaac-tactics-ocaml-dev_0.4-2_armhf.deb           20-Jan-2014 18:33     43K
libaac-tactics-ocaml-dev_0.4-2_powerpc.deb         20-Jan-2014 18:33     43K
libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb         18-Feb-2014 05:44     43K
libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb     05-Nov-2015 07:34     43K
libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb     05-Nov-2015 07:34     43K
libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb   05-Nov-2015 07:34     43K
libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb   05-Nov-2015 10:49     43K
libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb     06-Jan-2016 00:05     43K
libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb        19-Mar-2020 02:48     38K
libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb      19-Mar-2020 02:48     38K
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb        07-Feb-2022 02:05     40K
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb        07-Feb-2022 02:05     40K
libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb      07-Feb-2022 02:05     40K
libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb      07-Feb-2022 02:05     40K
libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb        07-Feb-2022 02:05     40K
libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb        13-Jun-2022 00:44     39K
libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb        13-Jun-2022 00:44     39K
libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb      13-Jun-2022 00:24     39K
libaac-tactics-ocaml-dev_8.15.1-6_riscv64.deb      13-Jun-2022 01:04     39K
libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb        13-Jun-2022 00:24     39K
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb         01-Nov-2017 20:05     37K
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb         01-Nov-2017 21:20     37K
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb       01-Nov-2017 20:05     37K
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb         01-Nov-2017 20:05     37K
libaac-tactics-ocaml_0.4-2_arm64.deb               20-Jan-2014 18:33     27K
libaac-tactics-ocaml_0.4-2_armhf.deb               20-Jan-2014 18:33    121K
libaac-tactics-ocaml_0.4-2_powerpc.deb             20-Jan-2014 18:33    111K
libaac-tactics-ocaml_0.4-2_ppc64el.deb             18-Feb-2014 05:44     27K
libaac-tactics-ocaml_0.4-5build2_arm64.deb         05-Nov-2015 07:34    111K
libaac-tactics-ocaml_0.4-5build2_armhf.deb         05-Nov-2015 07:34    115K
libaac-tactics-ocaml_0.4-5build2_powerpc.deb       05-Nov-2015 07:34    106K
libaac-tactics-ocaml_0.4-5build2_ppc64el.deb       05-Nov-2015 10:49     28K
libaac-tactics-ocaml_0.4-5build2_s390x.deb         06-Jan-2016 00:05     28K
libaac-tactics-ocaml_8.11.0-1_arm64.deb            19-Mar-2020 02:48    118K
libaac-tactics-ocaml_8.11.0-1_ppc64el.deb          19-Mar-2020 02:48    111K
libaac-tactics-ocaml_8.15.0-1_arm64.deb            07-Feb-2022 02:05    147K
libaac-tactics-ocaml_8.15.0-1_armhf.deb            07-Feb-2022 02:05    128K
libaac-tactics-ocaml_8.15.0-1_ppc64el.deb          07-Feb-2022 02:05    134K
libaac-tactics-ocaml_8.15.0-1_riscv64.deb          07-Feb-2022 02:05    129K
libaac-tactics-ocaml_8.15.0-1_s390x.deb            07-Feb-2022 02:05    132K
libaac-tactics-ocaml_8.15.1-6_arm64.deb            13-Jun-2022 00:44    140K
libaac-tactics-ocaml_8.15.1-6_armhf.deb            13-Jun-2022 00:44    124K
libaac-tactics-ocaml_8.15.1-6_ppc64el.deb          13-Jun-2022 00:24    130K
libaac-tactics-ocaml_8.15.1-6_riscv64.deb          13-Jun-2022 01:04    124K
libaac-tactics-ocaml_8.15.1-6_s390x.deb            13-Jun-2022 00:24    129K
libaac-tactics-ocaml_8.6.1-2_arm64.deb             01-Nov-2017 20:05    133K
libaac-tactics-ocaml_8.6.1-2_armhf.deb             01-Nov-2017 21:20    114K
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb           01-Nov-2017 20:05    124K
libaac-tactics-ocaml_8.6.1-2_s390x.deb             01-Nov-2017 20:05    120K
libcoq-aac-tactics_8.15.1-6_arm64.deb              13-Jun-2022 00:44    282K
libcoq-aac-tactics_8.15.1-6_armhf.deb              13-Jun-2022 00:44    282K
libcoq-aac-tactics_8.15.1-6_ppc64el.deb            13-Jun-2022 00:24    282K
libcoq-aac-tactics_8.15.1-6_riscv64.deb            13-Jun-2022 01:04    282K
libcoq-aac-tactics_8.15.1-6_s390x.deb              13-Jun-2022 00:24    282K
libcoq-aac-tactics_8.16.0-1build3_arm64.deb        03-Dec-2022 16:59    433K
libcoq-aac-tactics_8.16.0-1build3_armhf.deb        03-Dec-2022 16:59    416K
libcoq-aac-tactics_8.16.0-1build3_ppc64el.deb      03-Dec-2022 16:59    423K
libcoq-aac-tactics_8.16.0-1build3_riscv64.deb      03-Dec-2022 17:18    417K
libcoq-aac-tactics_8.16.0-1build3_s390x.deb        03-Dec-2022 16:59    422K
libcoq-aac-tactics_8.17.0-1_arm64.deb              05-Jan-2023 06:34    433K
libcoq-aac-tactics_8.17.0-1_armhf.deb              05-Jan-2023 06:34    416K
libcoq-aac-tactics_8.17.0-1_ppc64el.deb            05-Jan-2023 06:34    423K
libcoq-aac-tactics_8.17.0-1_riscv64.deb            05-Jan-2023 07:24    417K
libcoq-aac-tactics_8.17.0-1_s390x.deb              05-Jan-2023 06:34    422K
libcoq-aac-tactics_8.17.0-1build1_arm64.deb        26-Jan-2023 19:24    433K
libcoq-aac-tactics_8.17.0-1build1_armhf.deb        26-Jan-2023 16:38    416K
libcoq-aac-tactics_8.17.0-1build1_ppc64el.deb      26-Jan-2023 16:38    423K
libcoq-aac-tactics_8.17.0-1build1_riscv64.deb      26-Jan-2023 23:39    417K
libcoq-aac-tactics_8.17.0-1build1_s390x.deb        26-Jan-2023 16:38    422K
libcoq-aac-tactics_8.17.0-1build2_arm64.deb        16-Feb-2023 19:57    433K
libcoq-aac-tactics_8.17.0-1build2_armhf.deb        16-Feb-2023 19:58    416K
libcoq-aac-tactics_8.17.0-1build2_ppc64el.deb      16-Feb-2023 19:58    422K
libcoq-aac-tactics_8.17.0-1build2_riscv64.deb      16-Feb-2023 23:34    416K
libcoq-aac-tactics_8.17.0-1build2_s390x.deb        16-Feb-2023 19:58    422K