Index of /transitions/ocaml-next/repo/pool/aac-tactics/

../
aac-tactics_9.0.0-4+ocaml1.debian.tar.xz           07-Nov-2026 05:25                4064
aac-tactics_9.0.0-4+ocaml1.dsc                     07-Nov-2026 05:25                1214
aac-tactics_9.0.0-4+ocaml1_amd64-2026-11-06T22:..> 07-Nov-2026 05:25              135371
aac-tactics_9.0.0-4+ocaml1_amd64.build             07-Nov-2026 05:25              135371
aac-tactics_9.0.0-4+ocaml1_amd64.buildinfo         07-Nov-2026 05:25                6280
aac-tactics_9.0.0-4+ocaml1_amd64.changes           07-Nov-2026 05:25                1988
aac-tactics_9.0.0.orig.tar.gz                      07-Nov-2026 05:25               70184
libcoq-aac-tactics_9.0.0-4+ocaml1_amd64.deb        07-Nov-2026 05:25              397268