Index of /debian/pool/main/s/ssreflect/
name
size
date
libcoq-mathcomp-algebra_2.6.0-2_s390x.deb
22.04M
2026-07-28 22:49:15
libcoq-mathcomp-boot_2.6.0-2_s390x.deb
5.75M
2026-07-28 22:49:15
libcoq-mathcomp-field_2.6.0-2_s390x.deb
4.31M
2026-07-28 22:49:15
libcoq-mathcomp-finite-group_2.6.0-2_s390x.deb
2.35M
2026-07-28 22:49:15
libcoq-mathcomp-group-representation_2.6.0-2_s390x.deb
4.41M
2026-07-28 22:49:15
libcoq-mathcomp-order_2.6.0-2_s390x.deb
6.55M
2026-07-28 22:49:15
libcoq-mathcomp-solvable_2.6.0-2_s390x.deb
4.83M
2026-07-28 22:49:15
libcoq-mathcomp-ssreflect_2.6.0-2_s390x.deb
87.9K
2026-07-28 22:49:15
libcoq-mathcomp_2.6.0-2_s390x.deb
89.5K
2026-07-28 22:49:15
libcoq-mathcomp-order_2.6.0-2_ppc64el.deb
6.55M
2026-07-28 22:28:32
libcoq-mathcomp-solvable_2.6.0-2_ppc64el.deb
4.83M
2026-07-28 22:28:32
libcoq-mathcomp-ssreflect_2.6.0-2_ppc64el.deb
87.9K
2026-07-28 22:28:32
libcoq-mathcomp_2.6.0-2_ppc64el.deb
89.5K
2026-07-28 22:28:32
libcoq-mathcomp-algebra_2.6.0-2_ppc64el.deb
22.05M
2026-07-28 22:28:31
libcoq-mathcomp-boot_2.6.0-2_ppc64el.deb
5.75M
2026-07-28 22:28:31
libcoq-mathcomp-field_2.6.0-2_ppc64el.deb
4.31M
2026-07-28 22:28:31
libcoq-mathcomp-finite-group_2.6.0-2_ppc64el.deb
2.35M
2026-07-28 22:28:31
libcoq-mathcomp-group-representation_2.6.0-2_ppc64el.deb
4.42M
2026-07-28 22:28:31
libcoq-mathcomp-algebra_2.6.0-2_arm64.deb
22.06M
2026-07-28 22:18:24
libcoq-mathcomp-boot_2.6.0-2_arm64.deb
5.75M
2026-07-28 22:18:24
libcoq-mathcomp-field_2.6.0-2_arm64.deb
4.31M
2026-07-28 22:18:24
libcoq-mathcomp-finite-group_2.6.0-2_arm64.deb
2.35M
2026-07-28 22:18:24
libcoq-mathcomp-group-representation_2.6.0-2_arm64.deb
4.41M
2026-07-28 22:18:24
libcoq-mathcomp-order_2.6.0-2_arm64.deb
6.55M
2026-07-28 22:18:24
libcoq-mathcomp-solvable_2.6.0-2_arm64.deb
4.83M
2026-07-28 22:18:24
libcoq-mathcomp-ssreflect_2.6.0-2_arm64.deb
87.9K
2026-07-28 22:18:24
libcoq-mathcomp_2.6.0-2_arm64.deb
89.5K
2026-07-28 22:18:24
libcoq-mathcomp-boot_2.6.0-2_amd64.deb
5.75M
2026-07-28 21:21:44
libcoq-mathcomp-field_2.6.0-2_amd64.deb
4.31M
2026-07-28 21:21:44
libcoq-mathcomp-finite-group_2.6.0-2_amd64.deb
2.35M
2026-07-28 21:21:44
libcoq-mathcomp-group-representation_2.6.0-2_amd64.deb
4.42M
2026-07-28 21:21:44
libcoq-mathcomp-order_2.6.0-2_amd64.deb
6.55M
2026-07-28 21:21:44
libcoq-mathcomp-solvable_2.6.0-2_amd64.deb
4.83M
2026-07-28 21:21:44
libcoq-mathcomp-ssreflect_2.6.0-2_amd64.deb
87.9K
2026-07-28 21:21:44
libcoq-mathcomp_2.6.0-2_amd64.deb
89.5K
2026-07-28 21:21:44
mathcomp-doc_2.6.0-2_all.deb
7.10M
2026-07-28 21:21:44
libcoq-mathcomp-algebra_2.6.0-2_amd64.deb
22.05M
2026-07-28 21:21:43
ssreflect_2.6.0-2.debian.tar.xz
12.9K
2026-07-28 21:21:43
ssreflect_2.6.0-2.dsc
2.9K
2026-07-28 21:21:43
ssreflect_2.6.0.orig.tar.gz
2.23M
2026-07-20 19:51:46
libcoq-mathcomp-algebra_2.3.0-1+b14_riscv64.deb
11.48M
2025-12-28 21:10:15
libcoq-mathcomp-character_2.3.0-1+b14_riscv64.deb
4.09M
2025-12-28 21:10:15
libcoq-mathcomp-field_2.3.0-1+b14_riscv64.deb
3.25M
2025-12-28 21:10:15
libcoq-mathcomp-fingroup_2.3.0-1+b14_riscv64.deb
2.19M
2025-12-28 21:10:15
libcoq-mathcomp-solvable_2.3.0-1+b14_riscv64.deb
4.64M
2025-12-28 21:10:15
libcoq-mathcomp-ssreflect_2.3.0-1+b14_riscv64.deb
7.86M
2025-12-28 21:10:15
libcoq-mathcomp_2.3.0-1+b14_riscv64.deb
2.92M
2025-12-28 21:10:15
libcoq-mathcomp-algebra_2.3.0-1+b7_s390x.deb
11.48M
2025-06-17 22:32:56
libcoq-mathcomp-character_2.3.0-1+b7_s390x.deb
4.09M
2025-06-17 22:32:56
libcoq-mathcomp-field_2.3.0-1+b7_s390x.deb
3.25M
2025-06-17 22:32:56
libcoq-mathcomp-fingroup_2.3.0-1+b7_s390x.deb
2.19M
2025-06-17 22:32:56
libcoq-mathcomp-solvable_2.3.0-1+b7_s390x.deb
4.64M
2025-06-17 22:32:56
libcoq-mathcomp-ssreflect_2.3.0-1+b7_s390x.deb
7.87M
2025-06-17 22:32:56
libcoq-mathcomp_2.3.0-1+b7_s390x.deb
2.92M
2025-06-17 22:32:56
libcoq-mathcomp-algebra_2.3.0-1+b6_riscv64.deb
11.48M
2025-06-17 20:24:46
libcoq-mathcomp-character_2.3.0-1+b6_riscv64.deb
4.09M
2025-06-17 20:24:46
libcoq-mathcomp-field_2.3.0-1+b6_riscv64.deb
3.25M
2025-06-17 20:24:46
libcoq-mathcomp-fingroup_2.3.0-1+b6_riscv64.deb
2.19M
2025-06-17 20:24:46
libcoq-mathcomp-solvable_2.3.0-1+b6_riscv64.deb
4.64M
2025-06-17 20:24:46
libcoq-mathcomp-ssreflect_2.3.0-1+b6_riscv64.deb
7.87M
2025-06-17 20:24:46
libcoq-mathcomp_2.3.0-1+b6_riscv64.deb
2.92M
2025-06-17 20:24:46
libcoq-mathcomp-algebra_2.3.0-1+b7_ppc64el.deb
11.48M
2025-06-15 08:03:54
libcoq-mathcomp-character_2.3.0-1+b7_ppc64el.deb
4.09M
2025-06-15 08:03:54
libcoq-mathcomp-field_2.3.0-1+b7_ppc64el.deb
3.25M
2025-06-15 08:03:54
libcoq-mathcomp-fingroup_2.3.0-1+b7_ppc64el.deb
2.19M
2025-06-15 08:03:54
libcoq-mathcomp-solvable_2.3.0-1+b7_ppc64el.deb
4.64M
2025-06-15 08:03:54
libcoq-mathcomp-ssreflect_2.3.0-1+b7_ppc64el.deb
7.87M
2025-06-15 08:03:54
libcoq-mathcomp_2.3.0-1+b7_ppc64el.deb
2.92M
2025-06-15 08:03:54
libcoq-mathcomp-algebra_2.3.0-1+b7_arm64.deb
11.48M
2025-06-15 07:18:44
libcoq-mathcomp-character_2.3.0-1+b7_arm64.deb
4.09M
2025-06-15 07:18:44
libcoq-mathcomp-field_2.3.0-1+b7_arm64.deb
3.25M
2025-06-15 07:18:44
libcoq-mathcomp-fingroup_2.3.0-1+b7_arm64.deb
2.19M
2025-06-15 07:18:44
libcoq-mathcomp-solvable_2.3.0-1+b7_arm64.deb
4.64M
2025-06-15 07:18:44
libcoq-mathcomp-ssreflect_2.3.0-1+b7_arm64.deb
7.87M
2025-06-15 07:18:44
libcoq-mathcomp_2.3.0-1+b7_arm64.deb
2.92M
2025-06-15 07:18:44
libcoq-mathcomp-algebra_2.3.0-1+b7_amd64.deb
11.48M
2025-06-15 04:01:29
libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb
4.09M
2025-06-15 04:01:29
libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb
3.25M
2025-06-15 04:01:29
libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb
2.19M
2025-06-15 04:01:29
libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb
4.64M
2025-06-15 04:01:29
libcoq-mathcomp-ssreflect_2.3.0-1+b7_amd64.deb
7.87M
2025-06-15 04:01:29
libcoq-mathcomp_2.3.0-1+b7_amd64.deb
2.92M
2025-06-15 04:01:29
ssreflect_2.3.0-1.debian.tar.xz
12.4K
2024-12-18 16:08:02
ssreflect_2.3.0-1.dsc
2.6K
2024-12-18 16:08:02
ssreflect_2.3.0.orig.tar.gz
1.79M
2024-12-18 16:08:02
libcoq-mathcomp-algebra_1.15.0-1+b4_ppc64el.deb
6.20M
2023-02-13 22:59:33
libcoq-mathcomp-character_1.15.0-1+b4_ppc64el.deb
3.78M
2023-02-13 22:59:33
libcoq-mathcomp-field_1.15.0-1+b4_ppc64el.deb
2.64M
2023-02-13 22:59:33
libcoq-mathcomp-fingroup_1.15.0-1+b4_ppc64el.deb
1.83M
2023-02-13 22:59:33
libcoq-mathcomp-solvable_1.15.0-1+b4_ppc64el.deb
4.32M
2023-02-13 22:59:33
libcoq-mathcomp-ssreflect_1.15.0-1+b4_ppc64el.deb
4.01M
2023-02-13 22:59:33
libcoq-mathcomp_1.15.0-1+b4_ppc64el.deb
3.01M
2023-02-13 22:59:33
libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb
6.20M
2023-02-13 10:40:19
libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb
3.78M
2023-02-13 10:40:19
libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb
2.64M
2023-02-13 10:40:19
libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb
1.83M
2023-02-13 10:40:19
libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb
4.33M
2023-02-13 10:40:19
libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb
4.01M
2023-02-13 10:40:19
libcoq-mathcomp_1.15.0-1+b4_arm64.deb
3.01M
2023-02-13 10:40:19
libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb
6.20M
2023-02-13 10:25:14
libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb
3.78M
2023-02-13 10:25:14
libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb
2.64M
2023-02-13 10:25:14
libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb
1.83M
2023-02-13 10:25:14
libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb
4.33M
2023-02-13 10:25:14
libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb
4.01M
2023-02-13 10:25:14
libcoq-mathcomp_1.15.0-1+b4_armhf.deb
3.01M
2023-02-13 10:25:14
libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb
6.20M
2023-02-13 10:00:06
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb
3.78M
2023-02-13 10:00:06
libcoq-mathcomp-field_1.15.0-1+b4_i386.deb
2.64M
2023-02-13 10:00:06
libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb
1.83M
2023-02-13 10:00:06
libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb
4.33M
2023-02-13 10:00:06
libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb
4.01M
2023-02-13 10:00:06
libcoq-mathcomp_1.15.0-1+b4_i386.deb
3.01M
2023-02-13 10:00:06
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb
6.20M
2023-02-13 09:55:04
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb
3.78M
2023-02-13 09:55:04
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb
2.64M
2023-02-13 09:55:04
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb
1.83M
2023-02-13 09:55:04
libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb
4.33M
2023-02-13 09:55:04
libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb
4.01M
2023-02-13 09:55:04
libcoq-mathcomp_1.15.0-1+b4_amd64.deb
3.01M
2023-02-13 09:55:04
libcoq-mathcomp-algebra_1.15.0-1+b4_s390x.deb
6.20M
2023-02-13 09:50:03
libcoq-mathcomp-character_1.15.0-1+b4_s390x.deb
3.78M
2023-02-13 09:50:03
libcoq-mathcomp-field_1.15.0-1+b4_s390x.deb
2.64M
2023-02-13 09:50:03
libcoq-mathcomp-fingroup_1.15.0-1+b4_s390x.deb
1.83M
2023-02-13 09:50:03
libcoq-mathcomp-solvable_1.15.0-1+b4_s390x.deb
4.33M
2023-02-13 09:50:03
libcoq-mathcomp-ssreflect_1.15.0-1+b4_s390x.deb
4.01M
2023-02-13 09:50:03
libcoq-mathcomp_1.15.0-1+b4_s390x.deb
3.01M
2023-02-13 09:50:03
ssreflect_1.15.0-1.debian.tar.xz
12.1K
2022-07-05 07:05:40
ssreflect_1.15.0-1.dsc
2.5K
2022-07-05 07:05:40
ssreflect_1.15.0.orig.tar.gz
1.30M
2022-07-05 07:05:40
libssreflect-coq_1.12.0-1_all.deb
25.20M
2021-01-11 12:56:54
ssreflect_1.12.0-1.debian.tar.xz
12.5K
2021-01-11 08:58:46
ssreflect_1.12.0-1.dsc
2.0K
2021-01-11 08:58:46
ssreflect_1.12.0.orig.tar.gz
1.26M
2021-01-11 08:58:46