|
📁 ../
|
- |
- |
|
📄 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-2_amd64.deb
|
23116468 bytes
|
2026-07-28 21:21:43 |
|
📄 libcoq-mathcomp-algebra_2.6.0-2_arm64.deb
|
23129716 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-algebra_2.6.0-2_ppc64el.deb
|
23119000 bytes
|
2026-07-28 22:28:31 |
|
📄 libcoq-mathcomp-algebra_2.6.0-2_s390x.deb
|
23114072 bytes
|
2026-07-28 22:49:15 |
|
📄 libcoq-mathcomp-boot_2.6.0-2_amd64.deb
|
6031936 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp-boot_2.6.0-2_arm64.deb
|
6031988 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-boot_2.6.0-2_ppc64el.deb
|
6032256 bytes
|
2026-07-28 22:28:31 |
|
📄 libcoq-mathcomp-boot_2.6.0-2_s390x.deb
|
6031916 bytes
|
2026-07-28 22:49:15 |
|
📄 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+b15_ppc64el.deb
|
4287832 bytes
|
2025-12-28 06:17:22 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b15_s390x.deb
|
4286084 bytes
|
2025-12-28 06:37:32 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b17_amd64.deb
|
4287248 bytes
|
2026-02-13 22:02:23 |
|
📄 libcoq-mathcomp-character_2.3.0-1+b17_arm64.deb
|
4288000 bytes
|
2026-02-13 19:32:39 |
|
📄 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-2_amd64.deb
|
4521100 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp-field_2.6.0-2_arm64.deb
|
4523440 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-field_2.6.0-2_ppc64el.deb
|
4521244 bytes
|
2026-07-28 22:28:31 |
|
📄 libcoq-mathcomp-field_2.6.0-2_s390x.deb
|
4523296 bytes
|
2026-07-28 22:49:15 |
|
📄 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+b15_ppc64el.deb
|
2299944 bytes
|
2025-12-28 06:17:22 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b15_s390x.deb
|
2299756 bytes
|
2025-12-28 06:37:32 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b17_amd64.deb
|
2299160 bytes
|
2026-02-13 22:02:23 |
|
📄 libcoq-mathcomp-fingroup_2.3.0-1+b17_arm64.deb
|
2299052 bytes
|
2026-02-13 19:32:39 |
|
📄 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-2_amd64.deb
|
2468084 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-2_arm64.deb
|
2467360 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-2_ppc64el.deb
|
2467972 bytes
|
2026-07-28 22:28:31 |
|
📄 libcoq-mathcomp-finite-group_2.6.0-2_s390x.deb
|
2467708 bytes
|
2026-07-28 22:49:15 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-2_amd64.deb
|
4634132 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-2_arm64.deb
|
4623236 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-2_ppc64el.deb
|
4633936 bytes
|
2026-07-28 22:28:31 |
|
📄 libcoq-mathcomp-group-representation_2.6.0-2_s390x.deb
|
4627572 bytes
|
2026-07-28 22:49:15 |
|
📄 libcoq-mathcomp-order_2.6.0-2_amd64.deb
|
6867584 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp-order_2.6.0-2_arm64.deb
|
6870084 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-order_2.6.0-2_ppc64el.deb
|
6868856 bytes
|
2026-07-28 22:28:32 |
|
📄 libcoq-mathcomp-order_2.6.0-2_s390x.deb
|
6869044 bytes
|
2026-07-28 22:49:15 |
|
📄 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-2_amd64.deb
|
5068840 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp-solvable_2.6.0-2_arm64.deb
|
5069028 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-solvable_2.6.0-2_ppc64el.deb
|
5068816 bytes
|
2026-07-28 22:28:32 |
|
📄 libcoq-mathcomp-solvable_2.6.0-2_s390x.deb
|
5068252 bytes
|
2026-07-28 22:49:15 |
|
📄 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-2_amd64.deb
|
90016 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-2_arm64.deb
|
90016 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-2_ppc64el.deb
|
90008 bytes
|
2026-07-28 22:28:32 |
|
📄 libcoq-mathcomp-ssreflect_2.6.0-2_s390x.deb
|
90016 bytes
|
2026-07-28 22:49:15 |
|
📄 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-2_amd64.deb
|
91688 bytes
|
2026-07-28 21:21:44 |
|
📄 libcoq-mathcomp_2.6.0-2_arm64.deb
|
91692 bytes
|
2026-07-28 22:18:24 |
|
📄 libcoq-mathcomp_2.6.0-2_ppc64el.deb
|
91692 bytes
|
2026-07-28 22:28:32 |
|
📄 libcoq-mathcomp_2.6.0-2_s390x.deb
|
91684 bytes
|
2026-07-28 22:49:15 |
|
📄 libssreflect-coq_1.12.0-1_all.deb
|
26421500 bytes
|
2021-01-11 12:56:54 |
|
📄 mathcomp-doc_2.6.0-2_all.deb
|
7444916 bytes
|
2026-07-28 21:21:44 |
|
📄 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.5.0-2.debian.tar.xz
|
12996 bytes
|
2025-11-11 19:42:02 |
|
📄 ssreflect_2.5.0-2.dsc
|
2833 bytes
|
2025-11-11 19:42:02 |
|
📄 ssreflect_2.5.0.orig.tar.gz
|
1978658 bytes
|
2025-10-31 09:16:14 |
|
📄 ssreflect_2.6.0-1.debian.tar.xz
|
13220 bytes
|
2026-07-20 19:51:46 |
|
📄 ssreflect_2.6.0-1.dsc
|
2924 bytes
|
2026-07-20 19:51:46 |
|
📄 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.orig.tar.gz
|
2340624 bytes
|
2026-07-20 19:51:46 |