Index of /ubuntu-testing/pool/main/a/aac-tactics/

../
libaac-tactics-coq_0.4-5build2_all.deb             28-May-2020 21:51              212712
libaac-tactics-coq_8.11.0-1_all.deb                21-Dec-2020 16:10              243456
libaac-tactics-coq_8.6.1-2_all.deb                 28-May-2020 17:56              220796
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb     28-May-2020 21:43               44036
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        21-Dec-2020 16:21               38624
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         28-May-2020 17:45               37684
libaac-tactics-ocaml_0.4-5build2_amd64.deb         28-May-2020 21:57              119986
libaac-tactics-ocaml_8.11.0-1_amd64.deb            21-Dec-2020 15:40              106896
libaac-tactics-ocaml_8.6.1-2_amd64.deb             28-May-2020 17:34              120296