| / | | |
| coq-hammer_1.3.2+8.16-2.debian.tar.xz | 2,316 | Wed, 25 Jan 2023 07:01:49 +0000 |
| coq-hammer_1.3.2+8.16-2.dsc | 2,102 | Wed, 25 Jan 2023 07:01:49 +0000 |
| coq-hammer_1.3.2+8.16.orig.tar.gz | 148,694 | Tue, 06 Sep 2022 09:09:11 +0000 |
| coq-hammer_1.3.2+8.20-1.debian.tar.xz | 2,744 | Wed, 20 Nov 2024 09:57:49 +0000 |
| coq-hammer_1.3.2+8.20-1.dsc | 2,112 | Wed, 20 Nov 2024 09:57:49 +0000 |
| coq-hammer_1.3.2+8.20.orig.tar.gz | 148,863 | Wed, 20 Nov 2024 09:57:49 +0000 |
| libcoq-hammer_1.3.2+8.16-2+b1_amd64.deb | 503,424 | Mon, 13 Feb 2023 05:11:31 +0000 |
| libcoq-hammer_1.3.2+8.16-2+b1_arm64.deb | 531,060 | Mon, 13 Feb 2023 05:11:46 +0000 |
| libcoq-hammer_1.3.2+8.16-2+b1_armhf.deb | 493,120 | Mon, 13 Feb 2023 05:26:49 +0000 |
| libcoq-hammer_1.3.2+8.16-2+b1_i386.deb | 482,944 | Mon, 13 Feb 2023 05:11:31 +0000 |
| libcoq-hammer_1.3.2+8.16-2+b1_ppc64el.deb | 518,764 | Mon, 13 Feb 2023 05:11:19 +0000 |
| libcoq-hammer_1.3.2+8.16-2+b1_s390x.deb | 505,568 | Mon, 13 Feb 2023 05:06:10 +0000 |
| libcoq-hammer_1.3.2+8.20-1+b4_amd64.deb | 508,988 | Sun, 15 Jun 2025 10:49:53 +0000 |
| libcoq-hammer_1.3.2+8.20-1+b4_arm64.deb | 535,848 | Sun, 15 Jun 2025 10:49:55 +0000 |
| libcoq-hammer_1.3.2+8.20-1+b4_ppc64el.deb | 520,824 | Sun, 15 Jun 2025 10:49:57 +0000 |
| libcoq-hammer_1.3.2+8.20-1+b4_riscv64.deb | 520,804 | Sun, 15 Jun 2025 11:50:36 +0000 |
| libcoq-hammer_1.3.2+8.20-1+b4_s390x.deb | 518,900 | Mon, 16 Jun 2025 18:14:42 +0000 |