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