../ aac-tactics_0.4-3.debian.tar.xz 30-Jul-2014 09:11 2960 aac-tactics_0.4-3.dsc 30-Jul-2014 09:11 2231 aac-tactics_0.4.orig.tar.gz 06-Dec-2013 07:54 77336 libaac-tactics-coq_0.4-3_all.deb 30-Jul-2014 09:11 213832 libaac-tactics-ocaml-dev_0.4-3_armhf.deb 13-Aug-2014 17:11 44446 libaac-tactics-ocaml_0.4-3_armhf.deb 13-Aug-2014 17:11 122326