../ coq-hammer_1.3.2+8.20-1.debian.tar.xz 09-Aug-2026 21:53 2744 coq-hammer_1.3.2+8.20-1.dsc 09-Aug-2026 21:53 2112 coq-hammer_1.3.2+8.20.orig.tar.gz 09-Aug-2026 21:53 145K libcoq-hammer_1.3.2+8.20-1+b4_amd64.deb 08-Aug-2026 21:50 497K