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

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