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

../
aac-tactics_8.20.0-1+ocaml1.debian.tar.xz          15-May-2026 09:11                3880
aac-tactics_8.20.0-1+ocaml1.dsc                    15-May-2026 09:11                1224
aac-tactics_8.20.0-1+ocaml1_amd64-2026-05-15T08..> 15-May-2026 09:11              115613
aac-tactics_8.20.0-1+ocaml1_amd64.build            15-May-2026 09:11              115613
aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo        15-May-2026 09:11                6566
aac-tactics_8.20.0-1+ocaml1_amd64.changes          15-May-2026 09:11                2361
aac-tactics_8.20.0.orig.tar.gz                     15-May-2026 09:11               77668
libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64..> 15-May-2026 09:11               13788
libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb       15-May-2026 09:11              392392