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

../
libaac-tactics-coq_8.11.0-1_all.deb                03-Sep-2025 17:49              243456
libaac-tactics-coq_8.15.0-1_all.deb                04-Sep-2025 21:31              289098
libaac-tactics-coq_8.6.1-2_all.deb                 11-Sep-2025 17:40              220796
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb        03-Sep-2025 17:48               38624
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb        04-Sep-2025 21:56               40776
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb         11-Sep-2025 17:55               37684
libaac-tactics-ocaml_8.11.0-1_amd64.deb            03-Sep-2025 18:06              106896
libaac-tactics-ocaml_8.15.0-1_amd64.deb            04-Sep-2025 22:00              130790
libaac-tactics-ocaml_8.6.1-2_amd64.deb             11-Sep-2025 18:03              120296
libcoq-aac-tactics_8.18.0-1build3_amd64.deb        04-Sep-2025 17:36              421676