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

directories: 0, files: 162

NameLast modifiedSize
../
ssreflect_2.5.0.orig.tar.gz2025-10-31 10:16:141.89 MiB
ssreflect_2.5.0-2.dsc2025-11-11 20:42:022.77 KiB
ssreflect_2.5.0-2.debian.tar.xz2025-11-11 20:42:0212.69 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.5.0-2_all.deb2025-11-11 20:42:023.48 MiB
libssreflect-coq_1.12.0-1_all.deb2021-01-11 13:56:5425.20 MiB
libcoq-mathcomp_2.5.0-2+b2_amd64.deb2026-02-15 17:03:3283.75 KiB
libcoq-mathcomp_2.5.0-2+b1_s390x.deb2026-02-15 16:48:1383.74 KiB
libcoq-mathcomp_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:4583.76 KiB
libcoq-mathcomp_2.5.0-2+b1_arm64.deb2026-02-15 19:05:1083.76 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_2.3.0-1+b17_arm64.deb2026-02-13 20:32:392.92 MiB
libcoq-mathcomp_2.3.0-1+b17_amd64.deb2026-02-13 23:02:232.92 MiB
libcoq-mathcomp_2.3.0-1+b15_s390x.deb2025-12-28 07:37:322.92 MiB
libcoq-mathcomp_2.3.0-1+b15_ppc64el.deb2025-12-28 07:17:222.92 MiB
libcoq-mathcomp_2.3.0-1+b14_riscv64.deb2025-12-28 22:10:152.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.5.0-2+b2_amd64.deb2026-02-15 17:03:3282.20 KiB
libcoq-mathcomp-ssreflect_2.5.0-2+b1_s390x.deb2026-02-15 16:48:1382.18 KiB
libcoq-mathcomp-ssreflect_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:4582.21 KiB
libcoq-mathcomp-ssreflect_2.5.0-2+b1_arm64.deb2026-02-15 19:05:1082.20 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_2.3.0-1+b17_arm64.deb2026-02-13 20:32:397.86 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b17_amd64.deb2026-02-13 23:02:237.86 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b15_s390x.deb2025-12-28 07:37:327.86 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b15_ppc64el.deb2025-12-28 07:17:227.87 MiB
libcoq-mathcomp-ssreflect_2.3.0-1+b14_riscv64.deb2025-12-28 22:10:157.86 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.5.0-2+b2_amd64.deb2026-02-15 17:03:325.07 MiB
libcoq-mathcomp-solvable_2.5.0-2+b1_s390x.deb2026-02-15 16:48:135.07 MiB
libcoq-mathcomp-solvable_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:455.07 MiB
libcoq-mathcomp-solvable_2.5.0-2+b1_arm64.deb2026-02-15 19:05:105.07 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_2.3.0-1+b17_arm64.deb2026-02-13 20:32:394.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b17_amd64.deb2026-02-13 23:02:234.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b15_s390x.deb2025-12-28 07:37:324.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b15_ppc64el.deb2025-12-28 07:17:224.64 MiB
libcoq-mathcomp-solvable_2.3.0-1+b14_riscv64.deb2025-12-28 22:10:154.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.5.0-2+b2_amd64.deb2026-02-15 17:03:3215.16 MiB
libcoq-mathcomp-order_2.5.0-2+b1_s390x.deb2026-02-15 16:48:1315.17 MiB
libcoq-mathcomp-order_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:4515.13 MiB
libcoq-mathcomp-order_2.5.0-2+b1_arm64.deb2026-02-15 19:05:1015.16 MiB
libcoq-mathcomp-fingroup_2.5.0-2+b2_amd64.deb2026-02-15 17:03:322.76 MiB
libcoq-mathcomp-fingroup_2.5.0-2+b1_s390x.deb2026-02-15 16:48:132.76 MiB
libcoq-mathcomp-fingroup_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:452.76 MiB
libcoq-mathcomp-fingroup_2.5.0-2+b1_arm64.deb2026-02-15 19:05:102.76 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_2.3.0-1+b17_arm64.deb2026-02-13 20:32:392.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b17_amd64.deb2026-02-13 23:02:232.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b15_s390x.deb2025-12-28 07:37:322.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b15_ppc64el.deb2025-12-28 07:17:222.19 MiB
libcoq-mathcomp-fingroup_2.3.0-1+b14_riscv64.deb2025-12-28 22:10:152.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.5.0-2+b2_amd64.deb2026-02-15 17:03:325.78 MiB
libcoq-mathcomp-field_2.5.0-2+b1_s390x.deb2026-02-15 16:48:135.78 MiB
libcoq-mathcomp-field_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:455.78 MiB
libcoq-mathcomp-field_2.5.0-2+b1_arm64.deb2026-02-15 19:05:105.78 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_2.3.0-1+b17_arm64.deb2026-02-13 20:32:393.25 MiB
libcoq-mathcomp-field_2.3.0-1+b17_amd64.deb2026-02-13 23:02:233.25 MiB
libcoq-mathcomp-field_2.3.0-1+b15_s390x.deb2025-12-28 07:37:323.25 MiB
libcoq-mathcomp-field_2.3.0-1+b15_ppc64el.deb2025-12-28 07:17:223.25 MiB
libcoq-mathcomp-field_2.3.0-1+b14_riscv64.deb2025-12-28 22:10:153.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.5.0-2+b2_amd64.deb2026-02-15 17:03:324.79 MiB
libcoq-mathcomp-character_2.5.0-2+b1_s390x.deb2026-02-15 16:48:134.78 MiB
libcoq-mathcomp-character_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:454.79 MiB
libcoq-mathcomp-character_2.5.0-2+b1_arm64.deb2026-02-15 19:05:104.80 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_2.3.0-1+b17_arm64.deb2026-02-13 20:32:394.09 MiB
libcoq-mathcomp-character_2.3.0-1+b17_amd64.deb2026-02-13 23:02:234.09 MiB
libcoq-mathcomp-character_2.3.0-1+b15_s390x.deb2025-12-28 07:37:324.09 MiB
libcoq-mathcomp-character_2.3.0-1+b15_ppc64el.deb2025-12-28 07:17:224.09 MiB
libcoq-mathcomp-character_2.3.0-1+b14_riscv64.deb2025-12-28 22:10:154.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.5.0-2+b2_amd64.deb2026-02-15 17:03:328.71 MiB
libcoq-mathcomp-boot_2.5.0-2+b1_s390x.deb2026-02-15 16:48:138.71 MiB
libcoq-mathcomp-boot_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:458.71 MiB
libcoq-mathcomp-boot_2.5.0-2+b1_arm64.deb2026-02-15 19:05:108.71 MiB
libcoq-mathcomp-algebra_2.5.0-2+b2_amd64.deb2026-02-15 17:03:3232.67 MiB
libcoq-mathcomp-algebra_2.5.0-2+b1_s390x.deb2026-02-15 16:48:1332.70 MiB
libcoq-mathcomp-algebra_2.5.0-2+b1_ppc64el.deb2026-02-15 17:18:4532.67 MiB
libcoq-mathcomp-algebra_2.5.0-2+b1_arm64.deb2026-02-15 19:05:1032.72 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_2.3.0-1+b17_arm64.deb2026-02-13 20:32:3911.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b17_amd64.deb2026-02-13 23:02:2311.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b15_s390x.deb2025-12-28 07:37:3211.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b15_ppc64el.deb2025-12-28 07:17:2211.48 MiB
libcoq-mathcomp-algebra_2.3.0-1+b14_riscv64.deb2025-12-28 22:10:1511.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