Index of /ubuntu/pool/universe/s/ssreflect/
name
size
date
libcoq-mathcomp-algebra_2.3.0-1build19_amd64.deb
13.20M
2026-03-05 10:29:43
libcoq-mathcomp_2.3.0-1build19_amd64.deb
2.49M
2026-03-05 10:29:43
libcoq-mathcomp-character_2.3.0-1build19_amd64.deb
4.55M
2026-03-05 10:29:42
libcoq-mathcomp-field_2.3.0-1build19_amd64.deb
3.64M
2026-03-05 10:29:42
libcoq-mathcomp-fingroup_2.3.0-1build19_amd64.deb
2.43M
2026-03-05 10:29:42
libcoq-mathcomp-solvable_2.3.0-1build19_amd64.deb
5.18M
2026-03-05 10:29:42
libcoq-mathcomp-ssreflect_2.3.0-1build19_amd64.deb
9.05M
2026-03-05 10:29:41
libcoq-mathcomp-algebra_2.3.0-1build12_amd64.deb
13.19M
2025-09-01 15:05:12
libcoq-mathcomp_2.3.0-1build12_amd64.deb
2.49M
2025-09-01 15:05:12
libcoq-mathcomp-character_2.3.0-1build12_amd64.deb
4.55M
2025-09-01 15:05:11
libcoq-mathcomp-field_2.3.0-1build12_amd64.deb
3.64M
2025-09-01 15:05:11
libcoq-mathcomp-fingroup_2.3.0-1build12_amd64.deb
2.43M
2025-09-01 15:05:11
libcoq-mathcomp-solvable_2.3.0-1build12_amd64.deb
5.18M
2025-09-01 15:05:11
libcoq-mathcomp-ssreflect_2.3.0-1build12_amd64.deb
9.06M
2025-09-01 15:05:11
libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb
13.20M
2025-02-19 23:02:55
libcoq-mathcomp_2.3.0-1build8_amd64.deb
2.49M
2025-02-19 23:02:55
libcoq-mathcomp-character_2.3.0-1build8_amd64.deb
4.56M
2025-02-19 23:02:54
libcoq-mathcomp-field_2.3.0-1build8_amd64.deb
3.64M
2025-02-19 23:02:54
libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb
2.43M
2025-02-19 23:02:53
libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb
5.18M
2025-02-19 23:02:53
libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb
9.06M
2025-02-19 23:02:53
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb
9.84M
2024-04-08 13:14:41
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb
4.21M
2024-04-08 13:14:41
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb
3.24M
2024-04-08 13:14:41
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb
2.13M
2024-04-08 13:14:41
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb
4.99M
2024-04-08 13:14:41
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb
6.31M
2024-04-08 13:14:41
libcoq-mathcomp_2.1.0-1build4_amd64.deb
2.35M
2024-04-08 13:14:41
libcoq-mathcomp-algebra_1.14.0-7_all.deb
7.02M
2022-02-17 06:11:09
libcoq-mathcomp-character_1.14.0-7_all.deb
4.38M
2022-02-17 06:11:09
libcoq-mathcomp-field_1.14.0-7_all.deb
3.03M
2022-02-17 06:11:09
libcoq-mathcomp_1.14.0-7_all.deb
2.53M
2022-02-17 06:11:09
libcoq-mathcomp-fingroup_1.14.0-7_all.deb
2.04M
2022-02-17 06:11:08
libcoq-mathcomp-solvable_1.14.0-7_all.deb
5.03M
2022-02-17 06:11:08
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb
4.48M
2022-02-17 06:11:08
libssreflect-coq_1.10.0+dfsg-2_all.deb
24.75M
2020-03-19 09:23:21