Index of /transitions/20261111/repo/pool/aac-tactics/

../
aac-tactics_9.0.0-4+ocaml1.debian.tar.xz           11-Nov-2026 17:32                4056
aac-tactics_9.0.0-4+ocaml1.dsc                     11-Nov-2026 17:32                1214
aac-tactics_9.0.0-4+ocaml1_amd64-2026-11-11T13:..> 11-Nov-2026 17:32              132951
aac-tactics_9.0.0-4+ocaml1_amd64.build             11-Nov-2026 17:32              132951
aac-tactics_9.0.0-4+ocaml1_amd64.buildinfo         11-Nov-2026 17:32                6283
aac-tactics_9.0.0-4+ocaml1_amd64.changes           11-Nov-2026 17:32                1988
aac-tactics_9.0.0.orig.tar.gz                      11-Nov-2026 17:32               70184
libcoq-aac-tactics_9.0.0-4+ocaml1_amd64.deb        11-Nov-2026 17:32              397096