Index of /pub/ubuntu/pool/universe/a/aac-tactics/

../
libaac-tactics-coq_0.4-5build2_all.deb             04-Nov-2015 17:33              212712
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb     04-Nov-2015 17:33               44036
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb      04-Nov-2015 17:34               44028
libaac-tactics-ocaml_0.4-5build2_amd64.deb         04-Nov-2015 17:33              119986
libaac-tactics-ocaml_0.4-5build2_i386.deb          04-Nov-2015 17:34              111950