../ aac-tactics_8.6.1-2.debian.tar.xz 01-Nov-2017 13:05 3248 aac-tactics_8.6.1-2.dsc 01-Nov-2017 13:05 2238 aac-tactics_8.6.1.orig.tar.gz 30-Dec-2016 17:13 75073 libaac-tactics-coq_8.6.1-2_all.deb 01-Nov-2017 13:05 220796 libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 01-Nov-2017 13:05 37688 libaac-tactics-ocaml_8.6.1-2_i386.deb 01-Nov-2017 13:05 110796