Index of /trisquel/packages/pool/main/a/aac-tactics

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 aac-tactics_0.4-5build2.dsc                        2015-11-05 08:30  1.9K  
 aac-tactics_8.18.0-1.dsc                           2023-12-22 07:52  2.1K  
 aac-tactics_8.11.0-1.dsc                           2020-03-19 02:28  2.1K  
 aac-tactics_8.18.0-1build3.dsc                     2024-04-08 15:57  2.1K  
 aac-tactics_8.15.0-1.dsc                           2022-02-07 01:19  2.2K  
 aac-tactics_8.6.1-2.dsc                            2017-11-01 21:05  2.2K  
 aac-tactics_0.4-5build2.debian.tar.xz              2015-11-05 08:30  3.0K  
 aac-tactics_8.6.1-2.debian.tar.xz                  2017-11-01 21:05  3.2K  
 aac-tactics_8.11.0-1.debian.tar.xz                 2020-03-19 02:28  3.4K  
 aac-tactics_8.15.0-1.debian.tar.xz                 2022-02-07 01:19  3.5K  
 aac-tactics_8.18.0-1.debian.tar.xz                 2023-12-22 07:52  3.6K  
 aac-tactics_8.18.0-1build3.debian.tar.xz           2024-04-08 15:57  3.8K  
 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         2017-11-01 21:05   37K  
 libaac-tactics-ocaml-dev_8.6.1-2_i386.deb          2017-11-01 21:05   37K  
 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        2020-03-19 03:48   38K  
 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        2022-02-07 03:04   40K  
 libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb        2022-02-07 03:05   40K  
 libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb        2022-02-07 03:05   40K  
 libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb      2022-02-07 03:05   40K  
 libaac-tactics-ocaml-dev_0.4-5build2_i386.deb      2015-11-05 08:34   43K  
 libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb     2015-11-05 08:33   43K  
 aac-tactics_8.11.0.orig.tar.gz                     2020-03-19 02:28   64K  
 aac-tactics_8.15.0.orig.tar.gz                     2022-02-07 01:19   67K  
 aac-tactics_8.6.1.orig.tar.gz                      2016-12-31 01:13   73K  
 aac-tactics_8.18.0.orig.tar.gz                     2023-12-22 07:52   74K  
 aac-tactics_0.4.orig.tar.gz                        2013-12-07 01:23   76K  
 libaac-tactics-ocaml_8.11.0-1_amd64.deb            2020-03-19 03:48  104K  
 libaac-tactics-ocaml_8.6.1-2_i386.deb              2017-11-01 21:05  108K  
 libaac-tactics-ocaml_0.4-5build2_i386.deb          2015-11-05 08:34  109K  
 libaac-tactics-ocaml_0.4-5build2_amd64.deb         2015-11-05 08:33  117K  
 libaac-tactics-ocaml_8.6.1-2_amd64.deb             2017-11-01 21:05  117K  
 libaac-tactics-ocaml_8.15.0-1_amd64.deb            2022-02-07 03:04  128K  
 libaac-tactics-ocaml_8.15.0-1_armhf.deb            2022-02-07 03:05  128K  
 libaac-tactics-ocaml_8.15.0-1_ppc64el.deb          2022-02-07 03:05  134K  
 libaac-tactics-ocaml_8.15.0-1_arm64.deb            2022-02-07 03:05  147K  
 libaac-tactics-coq_0.4-5build2_all.deb             2015-11-05 08:33  208K  
 libaac-tactics-coq_8.6.1-2_all.deb                 2017-11-01 21:05  216K  
 libaac-tactics-coq_8.11.0-1_all.deb                2020-03-19 03:48  238K  
 libaac-tactics-coq_8.15.0-1_all.deb                2022-02-07 03:04  282K  
 libcoq-aac-tactics_8.18.0-1build3_armhf.deb        2024-04-08 15:57  411K  
 libcoq-aac-tactics_8.18.0-1build3_amd64.deb        2024-04-08 15:57  412K  
 libcoq-aac-tactics_8.18.0-1build3_riscv64.deb      2024-04-08 15:57  418K  
 libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb      2024-04-08 15:57  418K  
 libcoq-aac-tactics_8.18.0-1build3_arm64.deb        2024-04-08 15:57  429K  
 libcoq-aac-tactics_8.18.0-1_armhf.deb              2023-12-23 08:12  523K  
 libcoq-aac-tactics_8.18.0-1_amd64.deb              2023-12-23 08:12  526K  
 libcoq-aac-tactics_8.18.0-1_ppc64el.deb            2023-12-23 08:12  532K  
 libcoq-aac-tactics_8.18.0-1_riscv64.deb            2024-03-30 06:35  536K  
 libcoq-aac-tactics_8.18.0-1_arm64.deb              2023-12-23 08:12  550K