|
📁 ../
|
- |
- |
|
📄 libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb
|
6501872 bytes
|
2023-02-13 09:55:04 |
|
📄 libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb
|
6501116 bytes
|
2023-02-13 10:40:19 |
|
📄 libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb
|
6502276 bytes
|
2023-02-13 10:25:14 |
|
📄 libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb
|
6501356 bytes
|
2023-02-13 10:00:06 |
|
📄 libcoq-mathcomp-algebra_1.15.0-1+b4_ppc64el.deb
|
6501480 bytes
|
2023-02-13 22:59:33 |
|
📄 libcoq-mathcomp-algebra_1.15.0-1+b4_s390x.deb
|
6502184 bytes
|
2023-02-13 09:50:03 |
|
📄 libcoq-mathcomp-algebra_2.3.0-1+b14_riscv64.deb
|
12038748 bytes
|
2025-12-28 21:10:15 |
|
📄 libcoq-mathcomp-algebra_2.3.0-1+b6_riscv64.deb
|
12037008 bytes
|
2025-06-17 20:24:46 |
|
📄 libcoq-mathcomp-algebra_2.3.0-1+b7_amd64.deb
|
12038648 bytes
|
2025-06-15 04:01:29 |
|
📄 libcoq-mathcomp-algebra_2.3.0-1+b7_arm64.deb
|
12036572 bytes
|
2025-06-15 07:18:44 |
|
📄 libcoq-mathcomp-algebra_2.3.0-1+b7_ppc64el.deb
|
12036912 bytes
|
2025-06-15 08:03:54 |
|
📄 libcoq-mathcomp-algebra_2.3.0-1+b7_s390x.deb
|
12035356 bytes
|
2025-06-17 22:32:56 |
|
📄 libcoq-mathcomp-algebra_2.6.0-3_amd64.deb
|
23123392 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-algebra_2.6.0-3_arm64.deb
|
23128204 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-algebra_2.6.0-3_ppc64el.deb
|
23116472 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-algebra_2.6.0-3_riscv64.deb
|
23136632 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-algebra_2.6.0-3_s390x.deb
|
23103520 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp-boot_2.6.0-3_amd64.deb
|
6031456 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-boot_2.6.0-3_arm64.deb
|
6030292 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-boot_2.6.0-3_ppc64el.deb
|
6032668 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-boot_2.6.0-3_riscv64.deb
|
6031976 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-boot_2.6.0-3_s390x.deb
|
6031620 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb
|
3960348 bytes
|
2023-02-13 09:55:04 |
|
📄 libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb
|
3959668 bytes
|
2023-02-13 10:40:19 |
|
📄 libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb
|
3959320 bytes
|
2023-02-13 10:25:14 |
|
📄 libcoq-mathcomp-character_1.15.0-1+b4_i386.deb
|
3959796 bytes
|
2023-02-13 10:00:06 |
|
📄 libcoq-mathcomp-character_1.15.0-1+b4_ppc64el.deb
|
3959224 bytes
|
2023-02-13 22:59:33 |
|
📄 libcoq-mathcomp-character_1.15.0-1+b4_s390x.deb
|
3959240 bytes
|
2023-02-13 09:50:03 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b14_riscv64.deb
|
4285864 bytes
|
2025-12-28 21:10:15 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b6_riscv64.deb
|
4284972 bytes
|
2025-06-17 20:24:46 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb
|
4289280 bytes
|
2025-06-15 04:01:29 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b7_arm64.deb
|
4285328 bytes
|
2025-06-15 07:18:44 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b7_ppc64el.deb
|
4286456 bytes
|
2025-06-15 08:03:54 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b7_s390x.deb
|
4287616 bytes
|
2025-06-17 22:32:56 |
|
📄 libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb
|
2764764 bytes
|
2023-02-13 09:55:04 |
|
📄 libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb
|
2764656 bytes
|
2023-02-13 10:40:19 |
|
📄 libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb
|
2765000 bytes
|
2023-02-13 10:25:14 |
|
📄 libcoq-mathcomp-field_1.15.0-1+b4_i386.deb
|
2765112 bytes
|
2023-02-13 10:00:06 |
|
📄 libcoq-mathcomp-field_1.15.0-1+b4_ppc64el.deb
|
2765040 bytes
|
2023-02-13 22:59:33 |
|
📄 libcoq-mathcomp-field_1.15.0-1+b4_s390x.deb
|
2764880 bytes
|
2023-02-13 09:50:03 |
|
📄 libcoq-mathcomp-field_2.3.0-1+b14_riscv64.deb
|
3406720 bytes
|
2025-12-28 21:10:15 |
|
📄 libcoq-mathcomp-field_2.3.0-1+b6_riscv64.deb
|
3407080 bytes
|
2025-06-17 20:24:46 |
|
📄 libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb
|
3406296 bytes
|
2025-06-15 04:01:29 |
|
📄 libcoq-mathcomp-field_2.3.0-1+b7_arm64.deb
|
3407504 bytes
|
2025-06-15 07:18:44 |
|
📄 libcoq-mathcomp-field_2.3.0-1+b7_ppc64el.deb
|
3407704 bytes
|
2025-06-15 08:03:54 |
|
📄 libcoq-mathcomp-field_2.3.0-1+b7_s390x.deb
|
3406828 bytes
|
2025-06-17 22:32:56 |
|
📄 libcoq-mathcomp-field_2.6.0-3_amd64.deb
|
4523008 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-field_2.6.0-3_arm64.deb
|
4522616 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-field_2.6.0-3_ppc64el.deb
|
4520392 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-field_2.6.0-3_riscv64.deb
|
4520824 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-field_2.6.0-3_s390x.deb
|
4523288 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb
|
1919956 bytes
|
2023-02-13 09:55:04 |
|
📄 libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb
|
1919688 bytes
|
2023-02-13 10:40:19 |
|
📄 libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb
|
1919640 bytes
|
2023-02-13 10:25:14 |
|
📄 libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb
|
1919332 bytes
|
2023-02-13 10:00:06 |
|
📄 libcoq-mathcomp-fingroup_1.15.0-1+b4_ppc64el.deb
|
1919712 bytes
|
2023-02-13 22:59:33 |
|
📄 libcoq-mathcomp-fingroup_1.15.0-1+b4_s390x.deb
|
1919304 bytes
|
2023-02-13 09:50:03 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b14_riscv64.deb
|
2299532 bytes
|
2025-12-28 21:10:15 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b6_riscv64.deb
|
2299696 bytes
|
2025-06-17 20:24:46 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb
|
2300100 bytes
|
2025-06-15 04:01:29 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b7_arm64.deb
|
2299632 bytes
|
2025-06-15 07:18:44 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b7_ppc64el.deb
|
2299580 bytes
|
2025-06-15 08:03:54 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b7_s390x.deb
|
2299736 bytes
|
2025-06-17 22:32:56 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-3_amd64.deb
|
2467648 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-3_arm64.deb
|
2467664 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-3_ppc64el.deb
|
2467780 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-3_riscv64.deb
|
2467860 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-3_s390x.deb
|
2468024 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-3_amd64.deb
|
4623208 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-3_arm64.deb
|
4634380 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-3_ppc64el.deb
|
4621344 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-3_riscv64.deb
|
4632852 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-3_s390x.deb
|
4632604 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp-order_2.6.0-3_amd64.deb
|
6868632 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-order_2.6.0-3_arm64.deb
|
6868620 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-order_2.6.0-3_ppc64el.deb
|
6870876 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-order_2.6.0-3_riscv64.deb
|
6867920 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-order_2.6.0-3_s390x.deb
|
6869012 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb
|
4535648 bytes
|
2023-02-13 09:55:04 |
|
📄 libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb
|
4535188 bytes
|
2023-02-13 10:40:19 |
|
📄 libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb
|
4535096 bytes
|
2023-02-13 10:25:14 |
|
📄 libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb
|
4535276 bytes
|
2023-02-13 10:00:06 |
|
📄 libcoq-mathcomp-solvable_1.15.0-1+b4_ppc64el.deb
|
4535088 bytes
|
2023-02-13 22:59:33 |
|
📄 libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb
|
4535408 bytes
|
2023-02-13 09:50:03 |
|
📄 libcoq-mathcomp-solvable_2.3.0-1+b14_riscv64.deb
|
4864772 bytes
|
2025-12-28 21:10:15 |
|
📄 libcoq-mathcomp-solvable_2.3.0-1+b6_riscv64.deb
|
4865444 bytes
|
2025-06-17 20:24:46 |
|
📄 libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb
|
4865908 bytes
|
2025-06-15 04:01:29 |
|
📄 libcoq-mathcomp-solvable_2.3.0-1+b7_arm64.deb
|
4865412 bytes
|
2025-06-15 07:18:44 |
|
📄 libcoq-mathcomp-solvable_2.3.0-1+b7_ppc64el.deb
|
4865228 bytes
|
2025-06-15 08:03:54 |
|
📄 libcoq-mathcomp-solvable_2.3.0-1+b7_s390x.deb
|
4865848 bytes
|
2025-06-17 22:32:56 |
|
📄 libcoq-mathcomp-solvable_2.6.0-3_amd64.deb
|
5069152 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-solvable_2.6.0-3_arm64.deb
|
5068620 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-solvable_2.6.0-3_ppc64el.deb
|
5068080 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-solvable_2.6.0-3_riscv64.deb
|
5068472 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-solvable_2.6.0-3_s390x.deb
|
5069624 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb
|
4207844 bytes
|
2023-02-13 09:55:04 |
|
📄 libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb
|
4207916 bytes
|
2023-02-13 10:40:19 |
|
📄 libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb
|
4207160 bytes
|
2023-02-13 10:25:14 |
|
📄 libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb
|
4206968 bytes
|
2023-02-13 10:00:06 |
|
📄 libcoq-mathcomp-ssreflect_1.15.0-1+b4_ppc64el.deb
|
4208168 bytes
|
2023-02-13 22:59:33 |
|
📄 libcoq-mathcomp-ssreflect_1.15.0-1+b4_s390x.deb
|
4207776 bytes
|
2023-02-13 09:50:03 |
|
📄 libcoq-mathcomp-ssreflect_2.3.0-1+b14_riscv64.deb
|
8245292 bytes
|
2025-12-28 21:10:15 |
|
📄 libcoq-mathcomp-ssreflect_2.3.0-1+b6_riscv64.deb
|
8254516 bytes
|
2025-06-17 20:24:46 |
|
📄 libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb
|
8255440 bytes
|
2025-06-15 04:01:29 |
|
📄 libcoq-mathcomp-ssreflect_2.3.0-1+b7_arm64.deb
|
8254432 bytes
|
2025-06-15 07:18:44 |
|
📄 libcoq-mathcomp-ssreflect_2.3.0-1+b7_ppc64el.deb
|
8252996 bytes
|
2025-06-15 08:03:54 |
|
📄 libcoq-mathcomp-ssreflect_2.3.0-1+b7_s390x.deb
|
8253664 bytes
|
2025-06-17 22:32:56 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-3_amd64.deb
|
90036 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-3_arm64.deb
|
90040 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-3_ppc64el.deb
|
90044 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-3_riscv64.deb
|
90040 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-3_s390x.deb
|
90040 bytes
|
2026-08-11 23:17:55 |
|
📄 libcoq-mathcomp_1.15.0-1+b4_amd64.deb
|
3157880 bytes
|
2023-02-13 09:55:04 |
|
📄 libcoq-mathcomp_1.15.0-1+b4_arm64.deb
|
3157712 bytes
|
2023-02-13 10:40:19 |
|
📄 libcoq-mathcomp_1.15.0-1+b4_armhf.deb
|
3158096 bytes
|
2023-02-13 10:25:14 |
|
📄 libcoq-mathcomp_1.15.0-1+b4_i386.deb
|
3157748 bytes
|
2023-02-13 10:00:06 |
|
📄 libcoq-mathcomp_1.15.0-1+b4_ppc64el.deb
|
3157888 bytes
|
2023-02-13 22:59:33 |
|
📄 libcoq-mathcomp_1.15.0-1+b4_s390x.deb
|
3157852 bytes
|
2023-02-13 09:50:03 |
|
📄 libcoq-mathcomp_2.3.0-1+b14_riscv64.deb
|
3063712 bytes
|
2025-12-28 21:10:15 |
|
📄 libcoq-mathcomp_2.3.0-1+b6_riscv64.deb
|
3063548 bytes
|
2025-06-17 20:24:46 |
|
📄 libcoq-mathcomp_2.3.0-1+b7_amd64.deb
|
3063580 bytes
|
2025-06-15 04:01:29 |
|
📄 libcoq-mathcomp_2.3.0-1+b7_arm64.deb
|
3063636 bytes
|
2025-06-15 07:18:44 |
|
📄 libcoq-mathcomp_2.3.0-1+b7_ppc64el.deb
|
3063464 bytes
|
2025-06-15 08:03:54 |
|
📄 libcoq-mathcomp_2.3.0-1+b7_s390x.deb
|
3063580 bytes
|
2025-06-17 22:32:56 |
|
📄 libcoq-mathcomp_2.6.0-3_amd64.deb
|
91724 bytes
|
2026-08-11 23:17:57 |
|
📄 libcoq-mathcomp_2.6.0-3_arm64.deb
|
91724 bytes
|
2026-08-11 23:12:54 |
|
📄 libcoq-mathcomp_2.6.0-3_ppc64el.deb
|
91732 bytes
|
2026-08-11 23:28:09 |
|
📄 libcoq-mathcomp_2.6.0-3_riscv64.deb
|
91732 bytes
|
2026-08-13 14:09:45 |
|
📄 libcoq-mathcomp_2.6.0-3_s390x.deb
|
91716 bytes
|
2026-08-11 23:17:55 |
|
📄 libssreflect-coq_1.12.0-1_all.deb
|
26421500 bytes
|
2021-01-11 12:56:54 |
|
📄 mathcomp-doc_2.6.0-3_all.deb
|
7444700 bytes
|
2026-08-11 23:18:00 |
|
📄 ssreflect_1.12.0-1.debian.tar.xz
|
12792 bytes
|
2021-01-11 08:58:46 |
|
📄 ssreflect_1.12.0-1.dsc
|
2094 bytes
|
2021-01-11 08:58:46 |
|
📄 ssreflect_1.12.0.orig.tar.gz
|
1318853 bytes
|
2021-01-11 08:58:46 |
|
📄 ssreflect_1.15.0-1.debian.tar.xz
|
12380 bytes
|
2022-07-05 07:05:40 |
|
📄 ssreflect_1.15.0-1.dsc
|
2603 bytes
|
2022-07-05 07:05:40 |
|
📄 ssreflect_1.15.0.orig.tar.gz
|
1359283 bytes
|
2022-07-05 07:05:40 |
|
📄 ssreflect_2.3.0-1.debian.tar.xz
|
12672 bytes
|
2024-12-18 16:08:02 |
|
📄 ssreflect_2.3.0-1.dsc
|
2634 bytes
|
2024-12-18 16:08:02 |
|
📄 ssreflect_2.3.0.orig.tar.gz
|
1880788 bytes
|
2024-12-18 16:08:02 |
|
📄 ssreflect_2.6.0-2.debian.tar.xz
|
13228 bytes
|
2026-07-28 21:21:43 |
|
📄 ssreflect_2.6.0-2.dsc
|
2924 bytes
|
2026-07-28 21:21:43 |
|
📄 ssreflect_2.6.0-3.debian.tar.xz
|
13240 bytes
|
2026-08-11 22:27:30 |
|
📄 ssreflect_2.6.0-3.dsc
|
2924 bytes
|
2026-08-11 22:27:30 |
|
📄 ssreflect_2.6.0.orig.tar.gz
|
2340624 bytes
|
2026-07-20 19:51:46 |