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


../
libaac-tactics-coq_0.4-5build2_all.deb             28-May-2020 21:51              212712
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.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.6.1-2_amd64.deb             28-May-2020 17:34              120296