| / | | |
| coq-equations_1.3-8.16-2.debian.tar.xz | 2,232 | Thu, 26 Jan 2023 12:44:31 +0000 |
| coq-equations_1.3-8.16-2.dsc | 2,166 | Thu, 26 Jan 2023 12:44:31 +0000 |
| coq-equations_1.3-8.16.orig.tar.gz | 1,097,638 | Tue, 06 Sep 2022 09:09:11 +0000 |
| coq-equations_1.3.1-8.20-1.debian.tar.xz | 2,748 | Wed, 20 Nov 2024 10:02:49 +0000 |
| coq-equations_1.3.1-8.20-1.dsc | 2,180 | Wed, 20 Nov 2024 10:02:49 +0000 |
| coq-equations_1.3.1-8.20.orig.tar.gz | 1,104,362 | Wed, 20 Nov 2024 10:02:49 +0000 |
| libcoq-equations_1.3-8.16-2+b1_amd64.deb | 1,421,860 | Tue, 14 Feb 2023 06:11:25 +0000 |
| libcoq-equations_1.3-8.16-2+b1_arm64.deb | 1,446,000 | Tue, 14 Feb 2023 06:11:22 +0000 |
| libcoq-equations_1.3-8.16-2+b1_armhf.deb | 1,406,004 | Tue, 14 Feb 2023 06:11:11 +0000 |
| libcoq-equations_1.3-8.16-2+b1_i386.deb | 1,364,728 | Tue, 14 Feb 2023 06:11:16 +0000 |
| libcoq-equations_1.3-8.16-2+b1_ppc64el.deb | 1,429,984 | Tue, 14 Feb 2023 06:11:12 +0000 |
| libcoq-equations_1.3-8.16-2+b1_s390x.deb | 1,436,048 | Tue, 14 Feb 2023 06:11:13 +0000 |
| libcoq-equations_1.3.1-8.20-1+b4_amd64.deb | 1,209,136 | Sun, 15 Jun 2025 11:15:16 +0000 |
| libcoq-equations_1.3.1-8.20-1+b4_arm64.deb | 1,230,080 | Sun, 15 Jun 2025 11:15:10 +0000 |
| libcoq-equations_1.3.1-8.20-1+b4_ppc64el.deb | 1,213,156 | Sun, 15 Jun 2025 11:15:14 +0000 |
| libcoq-equations_1.3.1-8.20-1+b4_riscv64.deb | 1,209,484 | Sun, 15 Jun 2025 12:00:38 +0000 |
| libcoq-equations_1.3.1-8.20-1+b5_s390x.deb | 1,211,520 | Tue, 17 Jun 2025 08:31:40 +0000 |