| / | | |
| coq-interval_4.11.1-1.debian.tar.xz | 9,364 | Wed, 20 Nov 2024 10:07:51 +0000 |
| coq-interval_4.11.1-1.dsc | 2,191 | Wed, 20 Nov 2024 10:07:51 +0000 |
| coq-interval_4.11.1.orig.tar.gz | 380,862 | Wed, 20 Nov 2024 10:07:51 +0000 |
| coq-interval_4.6.1-2.debian.tar.xz | 8,788 | Fri, 27 Jan 2023 06:18:57 +0000 |
| coq-interval_4.6.1-2.dsc | 2,187 | Fri, 27 Jan 2023 06:18:57 +0000 |
| coq-interval_4.6.1.orig.tar.bz2 | 259,459 | Tue, 13 Dec 2022 10:17:42 +0000 |
| libcoq-interval_4.11.1-1+b7_arm64.deb | 6,521,632 | Sun, 15 Jun 2025 11:25:21 +0000 |
| libcoq-interval_4.11.1-1+b7_riscv64.deb | 6,520,456 | Tue, 17 Jun 2025 23:13:07 +0000 |
| libcoq-interval_4.11.1-1+b8_ppc64el.deb | 6,519,044 | Sun, 15 Jun 2025 11:20:17 +0000 |
| libcoq-interval_4.11.1-1+b9_amd64.deb | 6,518,768 | Sun, 15 Jun 2025 11:15:12 +0000 |
| libcoq-interval_4.11.1-1+b9_s390x.deb | 6,518,292 | Tue, 17 Jun 2025 23:18:09 +0000 |
| libcoq-interval_4.6.1-2+b1_amd64.deb | 4,618,808 | Tue, 14 Feb 2023 06:11:21 +0000 |
| libcoq-interval_4.6.1-2+b1_arm64.deb | 4,619,788 | Tue, 14 Feb 2023 06:26:41 +0000 |
| libcoq-interval_4.6.1-2+b1_armhf.deb | 4,619,664 | Tue, 14 Feb 2023 06:26:51 +0000 |
| libcoq-interval_4.6.1-2+b1_i386.deb | 4,618,276 | Tue, 14 Feb 2023 06:26:33 +0000 |
| libcoq-interval_4.6.1-2+b1_ppc64el.deb | 4,619,296 | Tue, 14 Feb 2023 06:26:34 +0000 |
| libcoq-interval_4.6.1-2+b1_s390x.deb | 4,619,108 | Tue, 14 Feb 2023 06:26:54 +0000 |