../ aac-tactics_0.4-3.debian.tar.xz 27-Sep-2017 18:09 2960 aac-tactics_0.4-3.dsc 27-Sep-2017 18:09 2231 aac-tactics_0.4.orig.tar.gz 27-Sep-2017 18:09 76K libaac-tactics-coq_0.4-3_all.deb 27-Sep-2017 16:53 209K libaac-tactics-ocaml-dev_0.4-3_amd64.deb 27-Sep-2017 18:02 44K libaac-tactics-ocaml-dev_0.4-3_i386.deb 27-Sep-2017 17:58 44K libaac-tactics-ocaml_0.4-3_amd64.deb 27-Sep-2017 17:33 125K libaac-tactics-ocaml_0.4-3_i386.deb 27-Sep-2017 18:15 115K