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

 Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 aac-tactics_0.2.pl2-7.debian.tar.gz          2012-06-09 11:02  2.7K  
 aac-tactics_0.2.pl2-7.dsc                    2012-06-09 11:02  2.2K  
 aac-tactics_0.2.pl2.orig.tar.gz              2011-02-28 08:02   76K  
 aac-tactics_0.4-3.debian.tar.xz              2014-07-30 11:11  2.9K  
 aac-tactics_0.4-3.dsc                        2014-07-30 11:11  2.2K  
 aac-tactics_0.4.orig.tar.gz                  2013-12-06 08:54   76K  
 aac-tactics_8.6.1-1.debian.tar.xz            2016-12-30 11:13  3.1K  
 aac-tactics_8.6.1-1.dsc                      2016-12-30 11:13  2.2K  
 aac-tactics_8.6.1.orig.tar.gz                2016-12-30 11:13   73K  
 libaac-tactics-coq_0.2.pl2-7_all.deb         2012-06-09 11:02  313K  
 libaac-tactics-coq_0.4-3_all.deb             2014-07-30 11:11  209K  
 libaac-tactics-coq_8.6.1-1_all.deb           2016-12-30 11:13  217K  
 libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb 2012-06-09 11:02  130K  
 libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb  2012-06-09 12:03  133K  
 libaac-tactics-ocaml-dev_0.4-3_amd64.deb     2014-07-30 11:11   44K  
 libaac-tactics-ocaml-dev_0.4-3_i386.deb      2014-07-30 11:41   44K  
 libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb   2016-12-30 11:13   38K  
 libaac-tactics-ocaml-dev_8.6.1-1_i386.deb    2016-12-30 11:43   38K  
 libaac-tactics-ocaml_0.2.pl2-7_amd64.deb     2012-06-09 11:02  142K  
 libaac-tactics-ocaml_0.2.pl2-7_i386.deb      2012-06-09 12:03  124K  
 libaac-tactics-ocaml_0.4-3_amd64.deb         2014-07-30 11:11  125K  
 libaac-tactics-ocaml_0.4-3_i386.deb          2014-07-30 11:41  115K  
 libaac-tactics-ocaml_8.6.1-1_amd64.deb       2016-12-30 11:13  108K  
 libaac-tactics-ocaml_8.6.1-1_i386.deb        2016-12-30 11:43  101K