Index of /deepin-server/pool/main/a/aac-tactics/

../
aac-tactics_0.4-3.debian.tar.xz                    30-Jul-2014 17:11    2960
aac-tactics_0.4-3.dsc                              30-Jul-2014 17:11    2231
aac-tactics_0.4.orig.tar.gz                        06-Dec-2013 15:54     76K
libaac-tactics-coq_0.4-3_all.deb                   30-Jul-2014 17:11    209K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb           30-Jul-2014 17:11     44K
libaac-tactics-ocaml-dev_0.4-3_i386.deb            30-Jul-2014 17:41     44K
libaac-tactics-ocaml_0.4-3_amd64.deb               30-Jul-2014 17:11    125K
libaac-tactics-ocaml_0.4-3_i386.deb                30-Jul-2014 17:41    115K