Index of /backports/20260811/repo/pool/coq-hammer/

../
coq-hammer_1.3.3+9.2-2+ocaml1.debian.tar.xz        11-Aug-2026 10:36                2980
coq-hammer_1.3.3+9.2-2+ocaml1.dsc                  11-Aug-2026 10:36                1222
coq-hammer_1.3.3+9.2-2+ocaml1_amd64-2026-08-11T..> 11-Aug-2026 10:36               84178
coq-hammer_1.3.3+9.2-2+ocaml1_amd64.build          11-Aug-2026 10:36               84178
coq-hammer_1.3.3+9.2-2+ocaml1_amd64.buildinfo      11-Aug-2026 10:36                6412
coq-hammer_1.3.3+9.2-2+ocaml1_amd64.changes        11-Aug-2026 10:36                2026
coq-hammer_1.3.3+9.2.orig.tar.gz                   11-Aug-2026 10:36              178234
libcoq-hammer_1.3.3+9.2-2+ocaml1_amd64.deb         11-Aug-2026 10:36              513848