Index of /debian/pool/main/a/aac-tactics

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] aac-tactics_0.4-3.debian.tar.xz             2014-07-30 05:11  2.9K  
[TXT] aac-tactics_0.4-3.dsc                       2014-07-30 05:11  2.2K  
[   ] aac-tactics_0.4.orig.tar.gz                 2013-12-06 02:54   76K  
[   ] aac-tactics_8.15.1-6.debian.tar.xz          2022-06-12 08:00  3.7K  
[TXT] aac-tactics_8.15.1-6.dsc                    2022-06-12 08:00  2.2K  
[   ] aac-tactics_8.15.1.orig.tar.gz              2022-04-03 16:10   67K  
[   ] aac-tactics_8.16.0-1.debian.tar.xz          2022-09-06 05:04  3.4K  
[TXT] aac-tactics_8.16.0-1.dsc                    2022-09-06 05:04  2.1K  
[   ] aac-tactics_8.16.0.orig.tar.gz              2022-09-06 05:04   74K  
[   ] aac-tactics_8.6.1-1.debian.tar.xz           2016-12-30 05:13  3.1K  
[TXT] aac-tactics_8.6.1-1.dsc                     2016-12-30 05:13  2.2K  
[   ] aac-tactics_8.6.1.orig.tar.gz               2016-12-30 05:13   73K  
[   ] libaac-tactics-coq_0.4-3_all.deb            2014-07-30 05:11  209K  
[   ] libaac-tactics-coq_8.6.1-1_all.deb          2016-12-30 05:13  217K  
[   ] libaac-tactics-ocaml-dev_0.4-3_amd64.deb    2014-07-30 05:11   44K  
[   ] libaac-tactics-ocaml-dev_0.4-3_i386.deb     2014-07-30 05:41   44K  
[   ] libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb 2022-06-12 08:25   39K  
[   ] libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb 2022-06-12 08:25   39K  
[   ] libaac-tactics-ocaml-dev_8.15.1-6_i386.deb  2022-06-12 08:15   39K  
[   ] libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb  2016-12-30 05:13   38K  
[   ] libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb  2016-12-30 05:43   38K  
[   ] libaac-tactics-ocaml-dev_8.6.1-1_i386.deb   2016-12-30 05:43   38K  
[   ] libaac-tactics-ocaml_0.4-3_amd64.deb        2014-07-30 05:11  125K  
[   ] libaac-tactics-ocaml_0.4-3_i386.deb         2014-07-30 05:41  115K  
[   ] libaac-tactics-ocaml_8.15.1-6_amd64.deb     2022-06-12 08:25  112K  
[   ] libaac-tactics-ocaml_8.15.1-6_arm64.deb     2022-06-12 08:25  119K  
[   ] libaac-tactics-ocaml_8.15.1-6_i386.deb      2022-06-12 08:15  104K  
[   ] libaac-tactics-ocaml_8.6.1-1_amd64.deb      2016-12-30 05:13  108K  
[   ] libaac-tactics-ocaml_8.6.1-1_arm64.deb      2016-12-30 05:43  105K  
[   ] libaac-tactics-ocaml_8.6.1-1_i386.deb       2016-12-30 05:43  101K  
[   ] libcoq-aac-tactics_8.15.1-6_amd64.deb       2022-06-12 08:25  261K  
[   ] libcoq-aac-tactics_8.15.1-6_arm64.deb       2022-06-12 08:25  261K  
[   ] libcoq-aac-tactics_8.15.1-6_i386.deb        2022-06-12 08:15  261K  
[   ] libcoq-aac-tactics_8.16.0-1_amd64.deb       2022-09-06 08:11  382K  
[   ] libcoq-aac-tactics_8.16.0-1_arm64.deb       2022-09-06 08:11  390K  
[   ] libcoq-aac-tactics_8.16.0-1_i386.deb        2022-09-06 08:56  373K