| / | | |
| libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb | 6,501,872 | Mon, 13 Feb 2023 09:55:04 +0000 |
| libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb | 6,501,116 | Mon, 13 Feb 2023 10:40:19 +0000 |
| libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb | 6,502,276 | Mon, 13 Feb 2023 10:25:14 +0000 |
| libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb | 6,501,356 | Mon, 13 Feb 2023 10:00:06 +0000 |
| libcoq-mathcomp-algebra_1.15.0-1+b4_ppc64el.deb | 6,501,480 | Mon, 13 Feb 2023 22:59:33 +0000 |
| libcoq-mathcomp-algebra_1.15.0-1+b4_s390x.deb | 6,502,184 | Mon, 13 Feb 2023 09:50:03 +0000 |
| libcoq-mathcomp-algebra_2.3.0-1+b6_riscv64.deb | 12,037,008 | Tue, 17 Jun 2025 20:24:46 +0000 |
| libcoq-mathcomp-algebra_2.3.0-1+b7_amd64.deb | 12,038,648 | Sun, 15 Jun 2025 04:01:29 +0000 |
| libcoq-mathcomp-algebra_2.3.0-1+b7_arm64.deb | 12,036,572 | Sun, 15 Jun 2025 07:18:44 +0000 |
| libcoq-mathcomp-algebra_2.3.0-1+b7_ppc64el.deb | 12,036,912 | Sun, 15 Jun 2025 08:03:54 +0000 |
| libcoq-mathcomp-algebra_2.3.0-1+b7_s390x.deb | 12,035,356 | Tue, 17 Jun 2025 22:32:56 +0000 |
| libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb | 3,960,348 | Mon, 13 Feb 2023 09:55:04 +0000 |
| libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb | 3,959,668 | Mon, 13 Feb 2023 10:40:19 +0000 |
| libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb | 3,959,320 | Mon, 13 Feb 2023 10:25:14 +0000 |
| libcoq-mathcomp-character_1.15.0-1+b4_i386.deb | 3,959,796 | Mon, 13 Feb 2023 10:00:06 +0000 |
| libcoq-mathcomp-character_1.15.0-1+b4_ppc64el.deb | 3,959,224 | Mon, 13 Feb 2023 22:59:33 +0000 |
| libcoq-mathcomp-character_1.15.0-1+b4_s390x.deb | 3,959,240 | Mon, 13 Feb 2023 09:50:03 +0000 |
| libcoq-mathcomp-character_2.3.0-1+b6_riscv64.deb | 4,284,972 | Tue, 17 Jun 2025 20:24:46 +0000 |
| libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb | 4,289,280 | Sun, 15 Jun 2025 04:01:29 +0000 |
| libcoq-mathcomp-character_2.3.0-1+b7_arm64.deb | 4,285,328 | Sun, 15 Jun 2025 07:18:44 +0000 |
| libcoq-mathcomp-character_2.3.0-1+b7_ppc64el.deb | 4,286,456 | Sun, 15 Jun 2025 08:03:54 +0000 |
| libcoq-mathcomp-character_2.3.0-1+b7_s390x.deb | 4,287,616 | Tue, 17 Jun 2025 22:32:56 +0000 |
| libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb | 2,764,764 | Mon, 13 Feb 2023 09:55:04 +0000 |
| libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb | 2,764,656 | Mon, 13 Feb 2023 10:40:19 +0000 |
| libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb | 2,765,000 | Mon, 13 Feb 2023 10:25:14 +0000 |
| libcoq-mathcomp-field_1.15.0-1+b4_i386.deb | 2,765,112 | Mon, 13 Feb 2023 10:00:06 +0000 |
| libcoq-mathcomp-field_1.15.0-1+b4_ppc64el.deb | 2,765,040 | Mon, 13 Feb 2023 22:59:33 +0000 |
| libcoq-mathcomp-field_1.15.0-1+b4_s390x.deb | 2,764,880 | Mon, 13 Feb 2023 09:50:03 +0000 |
| libcoq-mathcomp-field_2.3.0-1+b6_riscv64.deb | 3,407,080 | Tue, 17 Jun 2025 20:24:46 +0000 |
| libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb | 3,406,296 | Sun, 15 Jun 2025 04:01:29 +0000 |
| libcoq-mathcomp-field_2.3.0-1+b7_arm64.deb | 3,407,504 | Sun, 15 Jun 2025 07:18:44 +0000 |
| libcoq-mathcomp-field_2.3.0-1+b7_ppc64el.deb | 3,407,704 | Sun, 15 Jun 2025 08:03:54 +0000 |
| libcoq-mathcomp-field_2.3.0-1+b7_s390x.deb | 3,406,828 | Tue, 17 Jun 2025 22:32:56 +0000 |
| libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb | 1,919,956 | Mon, 13 Feb 2023 09:55:04 +0000 |
| libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb | 1,919,688 | Mon, 13 Feb 2023 10:40:19 +0000 |
| libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb | 1,919,640 | Mon, 13 Feb 2023 10:25:14 +0000 |
| libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb | 1,919,332 | Mon, 13 Feb 2023 10:00:06 +0000 |
| libcoq-mathcomp-fingroup_1.15.0-1+b4_ppc64el.deb | 1,919,712 | Mon, 13 Feb 2023 22:59:33 +0000 |
| libcoq-mathcomp-fingroup_1.15.0-1+b4_s390x.deb | 1,919,304 | Mon, 13 Feb 2023 09:50:03 +0000 |
| libcoq-mathcomp-fingroup_2.3.0-1+b6_riscv64.deb | 2,299,696 | Tue, 17 Jun 2025 20:24:46 +0000 |
| libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb | 2,300,100 | Sun, 15 Jun 2025 04:01:29 +0000 |
| libcoq-mathcomp-fingroup_2.3.0-1+b7_arm64.deb | 2,299,632 | Sun, 15 Jun 2025 07:18:44 +0000 |
| libcoq-mathcomp-fingroup_2.3.0-1+b7_ppc64el.deb | 2,299,580 | Sun, 15 Jun 2025 08:03:54 +0000 |
| libcoq-mathcomp-fingroup_2.3.0-1+b7_s390x.deb | 2,299,736 | Tue, 17 Jun 2025 22:32:56 +0000 |
| libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb | 4,535,648 | Mon, 13 Feb 2023 09:55:04 +0000 |
| libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb | 4,535,188 | Mon, 13 Feb 2023 10:40:19 +0000 |
| libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb | 4,535,096 | Mon, 13 Feb 2023 10:25:14 +0000 |
| libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb | 4,535,276 | Mon, 13 Feb 2023 10:00:06 +0000 |
| libcoq-mathcomp-solvable_1.15.0-1+b4_ppc64el.deb | 4,535,088 | Mon, 13 Feb 2023 22:59:33 +0000 |
| libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb | 4,535,408 | Mon, 13 Feb 2023 09:50:03 +0000 |
| libcoq-mathcomp-solvable_2.3.0-1+b6_riscv64.deb | 4,865,444 | Tue, 17 Jun 2025 20:24:46 +0000 |
| libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb | 4,865,908 | Sun, 15 Jun 2025 04:01:29 +0000 |
| libcoq-mathcomp-solvable_2.3.0-1+b7_arm64.deb | 4,865,412 | Sun, 15 Jun 2025 07:18:44 +0000 |
| libcoq-mathcomp-solvable_2.3.0-1+b7_ppc64el.deb | 4,865,228 | Sun, 15 Jun 2025 08:03:54 +0000 |
| libcoq-mathcomp-solvable_2.3.0-1+b7_s390x.deb | 4,865,848 | Tue, 17 Jun 2025 22:32:56 +0000 |
| libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb | 4,207,844 | Mon, 13 Feb 2023 09:55:04 +0000 |
| libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb | 4,207,916 | Mon, 13 Feb 2023 10:40:19 +0000 |
| libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb | 4,207,160 | Mon, 13 Feb 2023 10:25:14 +0000 |
| libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb | 4,206,968 | Mon, 13 Feb 2023 10:00:06 +0000 |
| libcoq-mathcomp-ssreflect_1.15.0-1+b4_ppc64el.deb | 4,208,168 | Mon, 13 Feb 2023 22:59:33 +0000 |
| libcoq-mathcomp-ssreflect_1.15.0-1+b4_s390x.deb | 4,207,776 | Mon, 13 Feb 2023 09:50:03 +0000 |
| libcoq-mathcomp-ssreflect_2.3.0-1+b6_riscv64.deb | 8,254,516 | Tue, 17 Jun 2025 20:24:46 +0000 |
| libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb | 8,255,440 | Sun, 15 Jun 2025 04:01:29 +0000 |
| libcoq-mathcomp-ssreflect_2.3.0-1+b7_arm64.deb | 8,254,432 | Sun, 15 Jun 2025 07:18:44 +0000 |
| libcoq-mathcomp-ssreflect_2.3.0-1+b7_ppc64el.deb | 8,252,996 | Sun, 15 Jun 2025 08:03:54 +0000 |
| libcoq-mathcomp-ssreflect_2.3.0-1+b7_s390x.deb | 8,253,664 | Tue, 17 Jun 2025 22:32:56 +0000 |
| libcoq-mathcomp_1.15.0-1+b4_amd64.deb | 3,157,880 | Mon, 13 Feb 2023 09:55:04 +0000 |
| libcoq-mathcomp_1.15.0-1+b4_arm64.deb | 3,157,712 | Mon, 13 Feb 2023 10:40:19 +0000 |
| libcoq-mathcomp_1.15.0-1+b4_armhf.deb | 3,158,096 | Mon, 13 Feb 2023 10:25:14 +0000 |
| libcoq-mathcomp_1.15.0-1+b4_i386.deb | 3,157,748 | Mon, 13 Feb 2023 10:00:06 +0000 |
| libcoq-mathcomp_1.15.0-1+b4_ppc64el.deb | 3,157,888 | Mon, 13 Feb 2023 22:59:33 +0000 |
| libcoq-mathcomp_1.15.0-1+b4_s390x.deb | 3,157,852 | Mon, 13 Feb 2023 09:50:03 +0000 |
| libcoq-mathcomp_2.3.0-1+b6_riscv64.deb | 3,063,548 | Tue, 17 Jun 2025 20:24:46 +0000 |
| libcoq-mathcomp_2.3.0-1+b7_amd64.deb | 3,063,580 | Sun, 15 Jun 2025 04:01:29 +0000 |
| libcoq-mathcomp_2.3.0-1+b7_arm64.deb | 3,063,636 | Sun, 15 Jun 2025 07:18:44 +0000 |
| libcoq-mathcomp_2.3.0-1+b7_ppc64el.deb | 3,063,464 | Sun, 15 Jun 2025 08:03:54 +0000 |
| libcoq-mathcomp_2.3.0-1+b7_s390x.deb | 3,063,580 | Tue, 17 Jun 2025 22:32:56 +0000 |
| libssreflect-coq_1.12.0-1_all.deb | 26,421,500 | Mon, 11 Jan 2021 12:56:54 +0000 |
| ssreflect_1.12.0-1.debian.tar.xz | 12,792 | Mon, 11 Jan 2021 08:58:46 +0000 |
| ssreflect_1.12.0-1.dsc | 2,094 | Mon, 11 Jan 2021 08:58:46 +0000 |
| ssreflect_1.12.0.orig.tar.gz | 1,318,853 | Mon, 11 Jan 2021 08:58:46 +0000 |
| ssreflect_1.15.0-1.debian.tar.xz | 12,380 | Tue, 05 Jul 2022 07:05:40 +0000 |
| ssreflect_1.15.0-1.dsc | 2,603 | Tue, 05 Jul 2022 07:05:40 +0000 |
| ssreflect_1.15.0.orig.tar.gz | 1,359,283 | Tue, 05 Jul 2022 07:05:40 +0000 |
| ssreflect_2.3.0-1.debian.tar.xz | 12,672 | Wed, 18 Dec 2024 16:08:02 +0000 |
| ssreflect_2.3.0-1.dsc | 2,634 | Wed, 18 Dec 2024 16:08:02 +0000 |
| ssreflect_2.3.0.orig.tar.gz | 1,880,788 | Wed, 18 Dec 2024 16:08:02 +0000 |