Index of /snapshots/2026-08-26/ubuntu/pool/universe/a/aac-tactics/

../
libcoq-aac-tactics_8.18.0-1build3_amd64.deb        29-Aug-2026 14:24    412K
libcoq-aac-tactics_8.20.0-1build8_amd64.deb        29-Aug-2026 14:24    419K