Index of /backports/20260106/pool/coq-hammer/

../
coq-hammer_1.3.2+8.20-1+ocaml1.debian.tar.xz       06-Jan-2026 07:19                2832
coq-hammer_1.3.2+8.20-1+ocaml1.dsc                 06-Jan-2026 07:19                1232
coq-hammer_1.3.2+8.20-1+ocaml1_amd64-2026-01-06..> 06-Jan-2026 07:19               86282
coq-hammer_1.3.2+8.20-1+ocaml1_amd64.build         06-Jan-2026 07:19               86282
coq-hammer_1.3.2+8.20-1+ocaml1_amd64.buildinfo     06-Jan-2026 07:19                6555
coq-hammer_1.3.2+8.20-1+ocaml1_amd64.changes       06-Jan-2026 07:19                2378
coq-hammer_1.3.2+8.20.orig.tar.gz                  06-Jan-2026 07:19              148863
libcoq-hammer-dbgsym_1.3.2+8.20-1+ocaml1_amd64.deb 06-Jan-2026 07:19               43568
libcoq-hammer_1.3.2+8.20-1+ocaml1_amd64.deb        06-Jan-2026 07:19              502680