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

../
libaac-tactics-coq_0.4-5build2_all.deb             16-Mar-2016 10:28              212712
libaac-tactics-coq_8.11.0-1_all.deb                01-Oct-2021 16:43              243456
libaac-tactics-coq_8.6.1-2_all.deb                 02-Oct-2018 09:35              220796
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb     16-Mar-2016 09:54               44036
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        01-Oct-2021 16:57               38624
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         02-Oct-2018 09:46               37684
libaac-tactics-ocaml_0.4-5build2_amd64.deb         16-Mar-2016 11:00              119986
libaac-tactics-ocaml_8.11.0-1_amd64.deb            01-Oct-2021 16:33              106896
libaac-tactics-ocaml_8.6.1-2_amd64.deb             02-Oct-2018 09:21              120296