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

../
aac-tactics_8.20.0-1+ocaml1.debian.tar.xz          02-Jul-2026 21:14                3880
aac-tactics_8.20.0-1+ocaml1.dsc                    02-Jul-2026 21:14                1224
aac-tactics_8.20.0-1+ocaml1_amd64-2026-07-02T13..> 02-Jul-2026 21:14              115995
aac-tactics_8.20.0-1+ocaml1_amd64.build            02-Jul-2026 21:14              115995
aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo        02-Jul-2026 21:14                6641
aac-tactics_8.20.0-1+ocaml1_amd64.changes          02-Jul-2026 21:14                2361
aac-tactics_8.20.0.orig.tar.gz                     02-Jul-2026 21:13               77668
libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64..> 02-Jul-2026 21:14               13836
libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb       02-Jul-2026 21:14              392932