Index of /pardus-yenikusak/pool/main/a/aac-tactics/

../
aac-tactics_0.4-3.debian.tar.xz                    10-Mar-2016 12:45    2960
aac-tactics_0.4-3.dsc                              10-Mar-2016 12:45    2231
aac-tactics_0.4.orig.tar.gz                        10-Mar-2016 12:45     76K
libaac-tactics-coq_0.4-3_all.deb                   10-Mar-2016 12:54    209K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb           10-Mar-2016 13:00     44K
libaac-tactics-ocaml-dev_0.4-3_i386.deb            10-Mar-2016 12:44     44K
libaac-tactics-ocaml_0.4-3_amd64.deb               10-Mar-2016 13:37    125K
libaac-tactics-ocaml_0.4-3_i386.deb                10-Mar-2016 13:36    115K