Index of /repo_desktop_1.5/pool/universe/a/aac-tactics/


../
libaac-tactics-coq_0.4-2_all.deb                   20-Jan-2014 11:33              212528
libaac-tactics-ocaml-dev_0.4-2_amd64.deb           20-Jan-2014 11:33               43922
libaac-tactics-ocaml-dev_0.4-2_i386.deb            20-Jan-2014 11:33               44374
libaac-tactics-ocaml_0.4-2_amd64.deb               20-Jan-2014 11:33              128116
libaac-tactics-ocaml_0.4-2_i386.deb                20-Jan-2014 11:33              116964