../ coq-hammer_1.3.2+8.15-1.debian.tar.xz 15-Jul-2022 14:45 2232 coq-hammer_1.3.2+8.15-1.dsc 15-Jul-2022 14:45 2171 coq-hammer_1.3.2+8.15.orig.tar.gz 15-Jul-2022 14:45 148626 libcoq-hammer-tactics_1.3.2+8.15-1_armhf.deb 27-Jul-2022 22:08 311432 libcoq-hammer_1.3.2+8.15-1_armhf.deb 27-Jul-2022 22:08 193180