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

../
libaac-tactics-coq_0.4-2_all.deb                   20-Jan-2014 11:33              212528
libaac-tactics-coq_0.4-5build2_all.deb             05-Nov-2015 00:33              212712
libaac-tactics-coq_8.11.0-1_all.deb                18-Mar-2020 19:48              243456
libaac-tactics-coq_8.15.0-1_all.deb                06-Feb-2022 19:04              289098
libaac-tactics-coq_8.6.1-2_all.deb                 01-Nov-2017 13:05              220796
libaac-tactics-ocaml-dev_0.4-2_amd64.deb           20-Jan-2014 11:33               43922
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb     05-Nov-2015 00:33               44036
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        18-Mar-2020 19:48               38624
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        06-Feb-2022 19:04               40776
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         01-Nov-2017 13:05               37684
libaac-tactics-ocaml_0.4-2_amd64.deb               20-Jan-2014 11:33              128116
libaac-tactics-ocaml_0.4-5build2_amd64.deb         05-Nov-2015 00:33              119986
libaac-tactics-ocaml_8.11.0-1_amd64.deb            18-Mar-2020 19:48              106896
libaac-tactics-ocaml_8.15.0-1_amd64.deb            06-Feb-2022 19:04              130790
libaac-tactics-ocaml_8.6.1-2_amd64.deb             01-Nov-2017 13:05              120296
libcoq-aac-tactics_8.17.0-1build2_amd64.deb        16-Feb-2023 12:57              425466
libcoq-aac-tactics_8.17.0-2build1_amd64.deb        24-Jul-2023 20:24              425318
libcoq-aac-tactics_8.18.0-1build3_amd64.deb        08-Apr-2024 07:57              421676
libcoq-aac-tactics_8.19.0-1build1_amd64.deb        13-May-2024 18:40              430910