Index of /stable/debian-8-freexian-release/pool/main/a/aac-tactics/

../
libaac-tactics-coq_0.4-3_all.deb                   24-Sep-2019 09:31              213832
libaac-tactics-ocaml-dev_0.4-3_amd64.deb           24-Sep-2019 09:47               45314
libaac-tactics-ocaml-dev_0.4-3_i386.deb            21-Jan-2020 17:22               44996
libaac-tactics-ocaml_0.4-3_amd64.deb               24-Sep-2019 09:32              128308
libaac-tactics-ocaml_0.4-3_i386.deb                21-Jan-2020 17:26              117692