Index of /stable/debian-7-official-release/pool/main/a/aac-tactics/

../
libaac-tactics-coq_0.2.pl2-7_all.deb               24-Sep-2019 08:12              320756
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb       24-Sep-2019 08:09              132996
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb        21-Jan-2020 15:30              136466
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb           24-Sep-2019 08:10              145306
libaac-tactics-ocaml_0.2.pl2-7_i386.deb            21-Jan-2020 15:26              127260