../ coq-hammer_1.3.2+8.15-1.debian.tar.xz 18-Jul-2022 23:49 2232 coq-hammer_1.3.2+8.15-1.dsc 18-Jul-2022 23:49 2171 coq-hammer_1.3.2+8.15.orig.tar.gz 18-Jul-2022 23:49 148626 coq-hammer_1.3.2+8.16-1build3.debian.tar.xz 03-Dec-2022 09:59 2372 coq-hammer_1.3.2+8.16-1build3.dsc 03-Dec-2022 09:59 2096 coq-hammer_1.3.2+8.16-2.debian.tar.xz 25-Jan-2023 11:49 2316 coq-hammer_1.3.2+8.16-2.dsc 25-Jan-2023 11:49 2102 coq-hammer_1.3.2+8.16-2build1.debian.tar.xz 26-Jan-2023 13:54 2388 coq-hammer_1.3.2+8.16-2build1.dsc 26-Jan-2023 13:54 2101 coq-hammer_1.3.2+8.16.orig.tar.gz 06-Nov-2022 03:17 148694 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb 19-Jul-2022 01:08 360248 libcoq-hammer_1.3.2+8.15-1_amd64.deb 19-Jul-2022 01:08 228912 libcoq-hammer_1.3.2+8.16-1build3_amd64.deb 03-Dec-2022 09:59 570590 libcoq-hammer_1.3.2+8.16-2build1_amd64.deb 26-Jan-2023 13:54 570508