| / | | |
| libcoq-mathcomp-bigenough_1.0.1-8+b4_amd64.deb | 26,336 | Mon, 13 Feb 2023 07:44:18 +0000 |
| libcoq-mathcomp-bigenough_1.0.1-8+b4_arm64.deb | 26,316 | Mon, 13 Feb 2023 07:44:14 +0000 |
| libcoq-mathcomp-bigenough_1.0.1-8+b4_armhf.deb | 26,284 | Mon, 13 Feb 2023 07:44:05 +0000 |
| libcoq-mathcomp-bigenough_1.0.1-8+b4_i386.deb | 26,296 | Mon, 13 Feb 2023 07:44:20 +0000 |
| libcoq-mathcomp-bigenough_1.0.1-8+b4_ppc64el.deb | 26,312 | Tue, 14 Feb 2023 00:11:15 +0000 |
| libcoq-mathcomp-bigenough_1.0.1-8+b4_s390x.deb | 26,300 | Mon, 13 Feb 2023 10:20:12 +0000 |
| libcoq-mathcomp-bigenough_1.0.2-1+b3_amd64.deb | 21,924 | Sun, 15 Jun 2025 04:21:46 +0000 |
| libcoq-mathcomp-bigenough_1.0.2-1+b3_arm64.deb | 21,920 | Sun, 15 Jun 2025 07:38:50 +0000 |
| libcoq-mathcomp-bigenough_1.0.2-1+b3_riscv64.deb | 21,916 | Tue, 17 Jun 2025 21:09:56 +0000 |
| libcoq-mathcomp-bigenough_1.0.2-1+b3_s390x.deb | 21,908 | Tue, 17 Jun 2025 22:53:04 +0000 |
| libcoq-mathcomp-bigenough_1.0.2-1+b4_ppc64el.deb | 21,924 | Sun, 15 Jun 2025 08:49:04 +0000 |
| mathcomp-bigenough_1.0.1-8.debian.tar.xz | 8,616 | Tue, 05 Jul 2022 13:32:25 +0000 |
| mathcomp-bigenough_1.0.1-8.dsc | 2,162 | Tue, 05 Jul 2022 13:32:25 +0000 |
| mathcomp-bigenough_1.0.1.orig.tar.gz | 12,248 | Wed, 09 Feb 2022 07:33:39 +0000 |
| mathcomp-bigenough_1.0.2-1.debian.tar.xz | 8,788 | Mon, 17 Feb 2025 16:42:16 +0000 |
| mathcomp-bigenough_1.0.2-1.dsc | 2,162 | Mon, 17 Feb 2025 16:42:16 +0000 |
| mathcomp-bigenough_1.0.2.orig.tar.gz | 12,221 | Mon, 17 Feb 2025 16:42:16 +0000 |