Index of /pub/debian/pool/main/s/ssreflect/

directories: 0, files: 136

NameLast modifiedSize
../
ssreflect_2.6.0.orig.tar.gz2026-07-20 21:51:462.23 MiB
ssreflect_2.6.0-3.dsc2026-08-12 00:27:302.86 KiB
ssreflect_2.6.0-3.debian.tar.xz2026-08-12 00:27:3012.93 KiB
ssreflect_2.3.0.orig.tar.gz2024-12-18 17:08:021.79 MiB
ssreflect_2.3.0-1.dsc2024-12-18 17:08:022.57 KiB
ssreflect_2.3.0-1.debian.tar.xz2024-12-18 17:08:0212.38 KiB
ssreflect_1.15.0.orig.tar.gz2022-07-05 09:05:401.30 MiB
ssreflect_1.15.0-1.dsc2022-07-05 09:05:402.54 KiB
ssreflect_1.15.0-1.debian.tar.xz2022-07-05 09:05:4012.09 KiB
ssreflect_1.12.0.orig.tar.gz2021-01-11 09:58:461.26 MiB
ssreflect_1.12.0-1.dsc2021-01-11 09:58:462.04 KiB
ssreflect_1.12.0-1.debian.tar.xz2021-01-11 09:58:4612.49 KiB
mathcomp-doc_2.6.0-3_all.deb2026-08-12 01:18:007.10 MiB
libssreflect-coq_1.12.0-1_all.deb2021-01-11 13:56:5425.20 MiB
libcoq-mathcomp_2.6.0-3+b2_s390x.deb2026-09-19 04:16:3489.86 KiB
libcoq-mathcomp_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:0989.87 KiB
libcoq-mathcomp_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:3389.88 KiB
libcoq-mathcomp_2.6.0-3+b2_arm64.deb2026-09-19 03:31:1889.88 KiB
libcoq-mathcomp_2.6.0-3+b2_amd64.deb2026-09-19 03:36:1989.89 KiB
libcoq-mathcomp_2.3.0-1+b7_s390x.deb2025-06-18 00:32:562.92 MiB
libcoq-mathcomp_2.3.0-1+b7_ppc64el.deb2025-06-15 10:03:542.92 MiB
libcoq-mathcomp_2.3.0-1+b7_arm64.deb2025-06-15 09:18:442.92 MiB
libcoq-mathcomp_2.3.0-1+b7_amd64.deb2025-06-15 06:01:292.92 MiB
libcoq-mathcomp_2.3.0-1+b6_riscv64.deb2025-06-17 22:24:462.92 MiB
libcoq-mathcomp_1.15.0-1+b4_s390x.deb2023-02-13 10:50:033.01 MiB
libcoq-mathcomp_1.15.0-1+b4_ppc64el.deb2023-02-13 23:59:333.01 MiB
libcoq-mathcomp_1.15.0-1+b4_i386.deb2023-02-13 11:00:063.01 MiB
libcoq-mathcomp_1.15.0-1+b4_armhf.deb2023-02-13 11:25:143.01 MiB
libcoq-mathcomp_1.15.0-1+b4_arm64.deb2023-02-13 11:40:193.01 MiB
libcoq-mathcomp_1.15.0-1+b4_amd64.deb2023-02-13 10:55:043.01 MiB
libcoq-mathcomp-ssreflect_2.6.0-3+b2_s390x.deb2026-09-19 04:16:3488.20 KiB
libcoq-mathcomp-ssreflect_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:0988.21 KiB
libcoq-mathcomp-ssreflect_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:3388.22 KiB
libcoq-mathcomp-ssreflect_2.6.0-3+b2_arm64.deb2026-09-19 03:31:1888.20 KiB
libcoq-mathcomp-ssreflect_2.6.0-3+b2_amd64.deb2026-09-19 03:36:1988.22 KiB
libcoq-mathcomp-ssreflect_2.3.0-1+b7_s390x.deb2025-06-18 00:32:567.87 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b7_ppc64el.deb2025-06-15 10:03:547.87 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b7_arm64.deb2025-06-15 09:18:447.87 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb2025-06-15 06:01:297.87 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b6_riscv64.deb2025-06-17 22:24:467.87 MiB
libcoq-mathcomp-ssreflect_1.15.0-1+b4_s390x.deb2023-02-13 10:50:034.01 MiB
libcoq-mathcomp-ssreflect_1.15.0-1+b4_ppc64el.deb2023-02-13 23:59:334.01 MiB
libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb2023-02-13 11:00:064.01 MiB
libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb2023-02-13 11:25:144.01 MiB
libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb2023-02-13 11:40:194.01 MiB
libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb2023-02-13 10:55:044.01 MiB
libcoq-mathcomp-solvable_2.6.0-3+b2_s390x.deb2026-09-19 04:16:344.83 MiB
libcoq-mathcomp-solvable_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:094.83 MiB
libcoq-mathcomp-solvable_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:334.83 MiB
libcoq-mathcomp-solvable_2.6.0-3+b2_arm64.deb2026-09-19 03:31:184.83 MiB
libcoq-mathcomp-solvable_2.6.0-3+b2_amd64.deb2026-09-19 03:36:194.83 MiB
libcoq-mathcomp-solvable_2.3.0-1+b7_s390x.deb2025-06-18 00:32:564.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b7_ppc64el.deb2025-06-15 10:03:544.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b7_arm64.deb2025-06-15 09:18:444.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb2025-06-15 06:01:294.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b6_riscv64.deb2025-06-17 22:24:464.64 MiB
libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb2023-02-13 10:50:034.33 MiB
libcoq-mathcomp-solvable_1.15.0-1+b4_ppc64el.deb2023-02-13 23:59:334.32 MiB
libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb2023-02-13 11:00:064.32 MiB
libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb2023-02-13 11:25:144.32 MiB
libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb2023-02-13 11:40:194.32 MiB
libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb2023-02-13 10:55:044.33 MiB
libcoq-mathcomp-order_2.6.0-3+b2_s390x.deb2026-09-19 04:16:346.55 MiB
libcoq-mathcomp-order_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:096.55 MiB
libcoq-mathcomp-order_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:336.55 MiB
libcoq-mathcomp-order_2.6.0-3+b2_arm64.deb2026-09-19 03:31:186.55 MiB
libcoq-mathcomp-order_2.6.0-3+b2_amd64.deb2026-09-19 03:36:196.55 MiB
libcoq-mathcomp-group-representation_2.6.0-3+b2_s390x.deb2026-09-19 04:16:344.42 MiB
libcoq-mathcomp-group-representation_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:094.41 MiB
libcoq-mathcomp-group-representation_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:334.42 MiB
libcoq-mathcomp-group-representation_2.6.0-3+b2_arm64.deb2026-09-19 03:31:184.42 MiB
libcoq-mathcomp-group-representation_2.6.0-3+b2_amd64.deb2026-09-19 03:36:194.41 MiB
libcoq-mathcomp-finite-group_2.6.0-3+b2_s390x.deb2026-09-19 04:16:342.35 MiB
libcoq-mathcomp-finite-group_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:092.35 MiB
libcoq-mathcomp-finite-group_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:332.35 MiB
libcoq-mathcomp-finite-group_2.6.0-3+b2_arm64.deb2026-09-19 03:31:182.35 MiB
libcoq-mathcomp-finite-group_2.6.0-3+b2_amd64.deb2026-09-19 03:36:192.35 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b7_s390x.deb2025-06-18 00:32:562.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b7_ppc64el.deb2025-06-15 10:03:542.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b7_arm64.deb2025-06-15 09:18:442.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb2025-06-15 06:01:292.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b6_riscv64.deb2025-06-17 22:24:462.19 MiB
libcoq-mathcomp-fingroup_1.15.0-1+b4_s390x.deb2023-02-13 10:50:031.83 MiB
libcoq-mathcomp-fingroup_1.15.0-1+b4_ppc64el.deb2023-02-13 23:59:331.83 MiB
libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb2023-02-13 11:00:061.83 MiB
libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb2023-02-13 11:25:141.83 MiB
libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb2023-02-13 11:40:191.83 MiB
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb2023-02-13 10:55:041.83 MiB
libcoq-mathcomp-field_2.6.0-3+b2_s390x.deb2026-09-19 04:16:344.31 MiB
libcoq-mathcomp-field_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:094.31 MiB
libcoq-mathcomp-field_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:334.31 MiB
libcoq-mathcomp-field_2.6.0-3+b2_arm64.deb2026-09-19 03:31:184.31 MiB
libcoq-mathcomp-field_2.6.0-3+b2_amd64.deb2026-09-19 03:36:194.31 MiB
libcoq-mathcomp-field_2.3.0-1+b7_s390x.deb2025-06-18 00:32:563.25 MiB
libcoq-mathcomp-field_2.3.0-1+b7_ppc64el.deb2025-06-15 10:03:543.25 MiB
libcoq-mathcomp-field_2.3.0-1+b7_arm64.deb2025-06-15 09:18:443.25 MiB
libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb2025-06-15 06:01:293.25 MiB
libcoq-mathcomp-field_2.3.0-1+b6_riscv64.deb2025-06-17 22:24:463.25 MiB
libcoq-mathcomp-field_1.15.0-1+b4_s390x.deb2023-02-13 10:50:032.64 MiB
libcoq-mathcomp-field_1.15.0-1+b4_ppc64el.deb2023-02-13 23:59:332.64 MiB
libcoq-mathcomp-field_1.15.0-1+b4_i386.deb2023-02-13 11:00:062.64 MiB
libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb2023-02-13 11:25:142.64 MiB
libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb2023-02-13 11:40:192.64 MiB
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb2023-02-13 10:55:042.64 MiB
libcoq-mathcomp-character_2.3.0-1+b7_s390x.deb2025-06-18 00:32:564.09 MiB
libcoq-mathcomp-character_2.3.0-1+b7_ppc64el.deb2025-06-15 10:03:544.09 MiB
libcoq-mathcomp-character_2.3.0-1+b7_arm64.deb2025-06-15 09:18:444.09 MiB
libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb2025-06-15 06:01:294.09 MiB
libcoq-mathcomp-character_2.3.0-1+b6_riscv64.deb2025-06-17 22:24:464.09 MiB
libcoq-mathcomp-character_1.15.0-1+b4_s390x.deb2023-02-13 10:50:033.78 MiB
libcoq-mathcomp-character_1.15.0-1+b4_ppc64el.deb2023-02-13 23:59:333.78 MiB
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb2023-02-13 11:00:063.78 MiB
libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb2023-02-13 11:25:143.78 MiB
libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb2023-02-13 11:40:193.78 MiB
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb2023-02-13 10:55:043.78 MiB
libcoq-mathcomp-boot_2.6.0-3+b2_s390x.deb2026-09-19 04:16:345.75 MiB
libcoq-mathcomp-boot_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:095.75 MiB
libcoq-mathcomp-boot_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:335.75 MiB
libcoq-mathcomp-boot_2.6.0-3+b2_arm64.deb2026-09-19 03:31:185.75 MiB
libcoq-mathcomp-boot_2.6.0-3+b2_amd64.deb2026-09-19 03:36:195.75 MiB
libcoq-mathcomp-algebra_2.6.0-3+b2_s390x.deb2026-09-19 04:16:3422.04 MiB
libcoq-mathcomp-algebra_2.6.0-3+b2_riscv64.deb2026-09-19 08:40:0922.05 MiB
libcoq-mathcomp-algebra_2.6.0-3+b2_ppc64el.deb2026-09-19 04:11:3322.05 MiB
libcoq-mathcomp-algebra_2.6.0-3+b2_arm64.deb2026-09-19 03:31:1822.05 MiB
libcoq-mathcomp-algebra_2.6.0-3+b2_amd64.deb2026-09-19 03:36:1922.05 MiB
libcoq-mathcomp-algebra_2.3.0-1+b7_s390x.deb2025-06-18 00:32:5611.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b7_ppc64el.deb2025-06-15 10:03:5411.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b7_arm64.deb2025-06-15 09:18:4411.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b7_amd64.deb2025-06-15 06:01:2911.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b6_riscv64.deb2025-06-17 22:24:4611.48 MiB
libcoq-mathcomp-algebra_1.15.0-1+b4_s390x.deb2023-02-13 10:50:036.20 MiB
libcoq-mathcomp-algebra_1.15.0-1+b4_ppc64el.deb2023-02-13 23:59:336.20 MiB
libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb2023-02-13 11:00:066.20 MiB
libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb2023-02-13 11:25:146.20 MiB
libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb2023-02-13 11:40:196.20 MiB
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb2023-02-13 10:55:046.20 MiB