| Parent directory/ | - | - |
| coq-equations_1.3.1-8.20-1.debian.tar.xz | 2.7 KiB | 20 Nov 2024 10:02:49 +0000 |
| coq-equations_1.3.1-8.20-1.dsc | 2.1 KiB | 20 Nov 2024 10:02:49 +0000 |
| coq-equations_1.3.1-8.20.orig.tar.gz | 1.1 MiB | 20 Nov 2024 10:02:49 +0000 |
| coq-equations_1.3.2-9.2-2.debian.tar.xz | 3.4 KiB | 28 Jul 2026 16:24:38 +0000 |
| coq-equations_1.3.2-9.2-2.dsc | 2.2 KiB | 28 Jul 2026 16:24:38 +0000 |
| coq-equations_1.3.2-9.2.orig.tar.gz | 1.1 MiB | 10 Jul 2026 16:03:58 +0000 |
| libcoq-equations_1.3.1-8.20-1+b6_amd64.deb | 1.1 MiB | 12 Feb 2026 15:24:17 +0000 |
| libcoq-equations_1.3.1-8.20-1+b6_arm64.deb | 1.2 MiB | 12 Feb 2026 15:24:22 +0000 |
| libcoq-equations_1.3.1-8.20-1+b7_amd64.deb | 1.1 MiB | 20 Jun 2026 15:16:00 +0000 |
| libcoq-equations_1.3.1-8.20-1+b7_arm64.deb | 1.2 MiB | 20 Jun 2026 15:16:06 +0000 |
| libcoq-equations_1.3.2-9.2-2+b1_amd64.deb | 8.7 MiB | 31 Jul 2026 20:40:50 +0000 |
| libcoq-equations_1.3.2-9.2-2_arm64.deb | 8.7 MiB | 28 Jul 2026 16:44:48 +0000 |
