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


../
aac-tactics_0.4-2.debian.tar.xz                    20-Jan-2014 11:09                2884
aac-tactics_0.4-2.dsc                              20-Jan-2014 11:09                2191
aac-tactics_0.4-5build2.debian.tar.xz              05-Nov-2015 00:30                3076
aac-tactics_0.4-5build2.dsc                        05-Nov-2015 00:30                1914
aac-tactics_0.4.orig.tar.gz                        06-Dec-2013 17:23               77336
aac-tactics_8.11.0-1.debian.tar.xz                 18-Mar-2020 18:28                3520
aac-tactics_8.11.0-1.dsc                           18-Mar-2020 18:28                2178
aac-tactics_8.11.0.orig.tar.gz                     18-Mar-2020 18:28               65363
aac-tactics_8.15.0-1.debian.tar.xz                 06-Feb-2022 17:19                3600
aac-tactics_8.15.0-1.dsc                           06-Feb-2022 17:19                2209
aac-tactics_8.15.0.orig.tar.gz                     06-Feb-2022 17:19               68103
aac-tactics_8.17.0-1build2.debian.tar.xz           16-Feb-2023 10:06                3624
aac-tactics_8.17.0-1build2.dsc                     16-Feb-2023 10:06                2107
aac-tactics_8.17.0-2build1.debian.tar.xz           24-Jul-2023 17:37                3732
aac-tactics_8.17.0-2build1.dsc                     24-Jul-2023 17:37                2107
aac-tactics_8.17.0.orig.tar.gz                     04-Jan-2023 23:34               75677
aac-tactics_8.18.0-1build3.debian.tar.xz           08-Apr-2024 07:57                3904
aac-tactics_8.18.0-1build3.dsc                     08-Apr-2024 07:57                2182
aac-tactics_8.18.0.orig.tar.gz                     21-Dec-2023 23:52               75607
aac-tactics_8.19.1-2build3.debian.tar.xz           07-Sep-2024 15:43                3920
aac-tactics_8.19.1-2build3.dsc                     07-Sep-2024 15:43                2103
aac-tactics_8.19.1.orig.tar.gz                     11-Jun-2024 17:54               76986
aac-tactics_8.6.1-2.debian.tar.xz                  01-Nov-2017 13:05                3248
aac-tactics_8.6.1-2.dsc                            01-Nov-2017 13:05                2238
aac-tactics_8.6.1.orig.tar.gz                      30-Dec-2016 17:13               75073
libaac-tactics-coq_0.4-2_all.deb                   20-Jan-2014 11:33              212528
libaac-tactics-coq_0.4-5build2_all.deb             05-Nov-2015 00:33              212712
libaac-tactics-coq_8.11.0-1_all.deb                18-Mar-2020 19:48              243456
libaac-tactics-coq_8.15.0-1_all.deb                06-Feb-2022 19:04              289098
libaac-tactics-coq_8.6.1-2_all.deb                 01-Nov-2017 13:05              220796
libaac-tactics-ocaml-dev_0.4-2_arm64.deb           20-Jan-2014 11:33               44122
libaac-tactics-ocaml-dev_0.4-2_armhf.deb           20-Jan-2014 11:33               44218
libaac-tactics-ocaml-dev_0.4-2_powerpc.deb         20-Jan-2014 11:33               43554
libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb         17-Feb-2014 22:44               44238
libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb     05-Nov-2015 00:34               43820
libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb     05-Nov-2015 00:34               43674
libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb   05-Nov-2015 00:34               44160
libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb   05-Nov-2015 03:49               43966
libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb     05-Jan-2016 17:05               43796
libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb        18-Mar-2020 19:48               38624
libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb      18-Mar-2020 19:48               38624
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb        06-Feb-2022 19:05               40778
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb        06-Feb-2022 19:05               40778
libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb      06-Feb-2022 19:05               40780
libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb      06-Feb-2022 19:05               40778
libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb        06-Feb-2022 19:05               40778
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb         01-Nov-2017 13:05               37684
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb         01-Nov-2017 14:20               37688
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb       01-Nov-2017 13:05               37688
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb         01-Nov-2017 13:05               37684
libaac-tactics-ocaml_0.4-2_arm64.deb               20-Jan-2014 11:33               27248
libaac-tactics-ocaml_0.4-2_armhf.deb               20-Jan-2014 11:33              124330
libaac-tactics-ocaml_0.4-2_powerpc.deb             20-Jan-2014 11:33              114112
libaac-tactics-ocaml_0.4-2_ppc64el.deb             17-Feb-2014 22:44               27360
libaac-tactics-ocaml_0.4-5build2_arm64.deb         05-Nov-2015 00:34              113510
libaac-tactics-ocaml_0.4-5build2_armhf.deb         05-Nov-2015 00:34              118242
libaac-tactics-ocaml_0.4-5build2_powerpc.deb       05-Nov-2015 00:34              108472
libaac-tactics-ocaml_0.4-5build2_ppc64el.deb       05-Nov-2015 03:49               28314
libaac-tactics-ocaml_0.4-5build2_s390x.deb         05-Jan-2016 17:05               28282
libaac-tactics-ocaml_8.11.0-1_arm64.deb            18-Mar-2020 19:48              120716
libaac-tactics-ocaml_8.11.0-1_ppc64el.deb          18-Mar-2020 19:48              113368
libaac-tactics-ocaml_8.15.0-1_arm64.deb            06-Feb-2022 19:05              150140
libaac-tactics-ocaml_8.15.0-1_armhf.deb            06-Feb-2022 19:05              131270
libaac-tactics-ocaml_8.15.0-1_ppc64el.deb          06-Feb-2022 19:05              137548
libaac-tactics-ocaml_8.15.0-1_riscv64.deb          06-Feb-2022 19:05              132482
libaac-tactics-ocaml_8.15.0-1_s390x.deb            06-Feb-2022 19:05              135518
libaac-tactics-ocaml_8.6.1-2_arm64.deb             01-Nov-2017 13:05              136604
libaac-tactics-ocaml_8.6.1-2_armhf.deb             01-Nov-2017 14:20              117124
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb           01-Nov-2017 13:05              127472
libaac-tactics-ocaml_8.6.1-2_s390x.deb             01-Nov-2017 13:05              123128
libcoq-aac-tactics_8.17.0-1build2_arm64.deb        16-Feb-2023 12:57              443238
libcoq-aac-tactics_8.17.0-1build2_armhf.deb        16-Feb-2023 12:58              425928
libcoq-aac-tactics_8.17.0-1build2_ppc64el.deb      16-Feb-2023 12:58              432384
libcoq-aac-tactics_8.17.0-1build2_riscv64.deb      16-Feb-2023 16:34              426116
libcoq-aac-tactics_8.17.0-1build2_s390x.deb        16-Feb-2023 12:58              431888
libcoq-aac-tactics_8.17.0-2build1_arm64.deb        24-Jul-2023 20:24              442052
libcoq-aac-tactics_8.17.0-2build1_armhf.deb        24-Jul-2023 20:24              425090
libcoq-aac-tactics_8.17.0-2build1_ppc64el.deb      24-Jul-2023 20:24              431134
libcoq-aac-tactics_8.17.0-2build1_riscv64.deb      25-Jul-2023 02:18              425592
libcoq-aac-tactics_8.17.0-2build1_s390x.deb        24-Jul-2023 20:24              431236
libcoq-aac-tactics_8.18.0-1build3_arm64.deb        08-Apr-2024 07:57              439074
libcoq-aac-tactics_8.18.0-1build3_armhf.deb        08-Apr-2024 07:57              421280
libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb      08-Apr-2024 07:57              427986
libcoq-aac-tactics_8.18.0-1build3_riscv64.deb      08-Apr-2024 07:57              427688
libcoq-aac-tactics_8.18.0-1build3_s390x.deb        08-Apr-2024 07:57              427074
libcoq-aac-tactics_8.19.1-2build3_arm64.deb        07-Sep-2024 15:44              455698
libcoq-aac-tactics_8.19.1-2build3_ppc64el.deb      07-Sep-2024 15:44              443888
libcoq-aac-tactics_8.19.1-2build3_riscv64.deb      07-Sep-2024 16:34              447656
libcoq-aac-tactics_8.19.1-2build3_s390x.deb        07-Sep-2024 15:44              446802