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

../
aac-tactics_0.2.pl2-7.debian.tar.gz                09-Jun-2012 09:02    2746
aac-tactics_0.2.pl2-7.dsc                          09-Jun-2012 09:02    2218
aac-tactics_0.2.pl2.orig.tar.gz                    28-Feb-2011 07:02     76K
aac-tactics_0.4-5.debian.tar.xz                    14-Oct-2015 12:48    2980
aac-tactics_0.4-5.dsc                              14-Oct-2015 12:48    2238
libaac-tactics-coq_0.4-2_all.deb                   20-Jan-2014 07:31    209K
libaac-tactics-coq_0.4-5_all.deb                   14-Oct-2015 12:48    209K
libaac-tactics-ocaml-dev_0.4-2_amd64.deb           20-Jan-2014 07:31     44K
libaac-tactics-ocaml-dev_0.4-2_i386.deb            20-Jan-2014 07:56     44K
libaac-tactics-ocaml-dev_0.4-5+b1_amd64.deb        24-Oct-2015 11:46     44K
libaac-tactics-ocaml-dev_0.4-5+b1_i386.deb         24-Oct-2015 11:46     44K
libaac-tactics-ocaml_0.4-2_amd64.deb               20-Jan-2014 07:31    126K
libaac-tactics-ocaml_0.4-2_i386.deb                20-Jan-2014 07:56    115K
libaac-tactics-ocaml_0.4-5+b1_amd64.deb            24-Oct-2015 11:46    119K
libaac-tactics-ocaml_0.4-5+b1_i386.deb             24-Oct-2015 11:46    110K