Index of /transitions/20260425/repo/pool/coq-hammer/

../
coq-hammer_1.3.2+8.20-1+ocaml1.debian.tar.xz       25-Apr-2026 08:24                2820
coq-hammer_1.3.2+8.20-1+ocaml1.dsc                 25-Apr-2026 08:24                1232
coq-hammer_1.3.2+8.20-1+ocaml1_amd64-2026-04-25..> 25-Apr-2026 08:24               87810
coq-hammer_1.3.2+8.20-1+ocaml1_amd64.build         25-Apr-2026 08:24               87810
coq-hammer_1.3.2+8.20-1+ocaml1_amd64.buildinfo     25-Apr-2026 08:24                6564
coq-hammer_1.3.2+8.20-1+ocaml1_amd64.changes       25-Apr-2026 08:24                2376
coq-hammer_1.3.2+8.20.orig.tar.gz                  25-Apr-2026 08:23              148863
libcoq-hammer-dbgsym_1.3.2+8.20-1+ocaml1_amd64.deb 25-Apr-2026 08:24               43436
libcoq-hammer_1.3.2+8.20-1+ocaml1_amd64.deb        25-Apr-2026 08:24              504688