Index of /ubuntu-old/pool/universe/s/ssreflect/
name
size
date
libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb
6.55M
2025-09-14 08:08:19
libcoq-mathcomp_2.2.0-2build6_amd64.deb
2.34M
2025-09-14 08:08:19
libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb
2.28M
2025-09-14 08:08:18
libcoq-mathcomp-solvable_2.2.0-2build6_amd64.deb
5.03M
2025-09-14 08:08:18
libcoq-mathcomp-character_2.2.0-2build6_amd64.deb
4.46M
2025-09-14 08:08:17
libcoq-mathcomp-field_2.2.0-2build6_amd64.deb
3.47M
2025-09-14 08:08:17
libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb
10.92M
2025-09-14 08:08:16
libcoq-mathcomp-ssreflect_1.15.0-1build5_amd64.deb
4.52M
2024-11-26 19:06:20
libcoq-mathcomp_1.15.0-1build5_amd64.deb
2.53M
2024-11-26 19:06:20
libcoq-mathcomp-solvable_1.15.0-1build5_amd64.deb
4.87M
2024-11-26 19:06:19
libcoq-mathcomp-field_1.15.0-1build5_amd64.deb
2.95M
2024-11-26 19:06:17
libcoq-mathcomp-fingroup_1.15.0-1build5_amd64.deb
2.03M
2024-11-26 19:06:17
libcoq-mathcomp-algebra_1.15.0-1build5_amd64.deb
7.02M
2024-11-26 19:06:16
libcoq-mathcomp-character_1.15.0-1build5_amd64.deb
4.27M
2024-11-26 19:06:16
libcoq-mathcomp-ssreflect_1.17.0-1build1_amd64.deb
4.69M
2024-11-15 08:44:01
libcoq-mathcomp_1.17.0-1build1_amd64.deb
2.61M
2024-11-15 08:44:01
libcoq-mathcomp-solvable_1.17.0-1build1_amd64.deb
4.88M
2024-11-15 08:44:00
libcoq-mathcomp-fingroup_1.17.0-1build1_amd64.deb
2.04M
2024-11-15 08:43:59
libcoq-mathcomp-character_1.17.0-1build1_amd64.deb
4.27M
2024-11-15 08:43:58
libcoq-mathcomp-field_1.17.0-1build1_amd64.deb
2.95M
2024-11-15 08:43:58
libcoq-mathcomp-algebra_1.17.0-1build1_amd64.deb
7.21M
2024-11-15 08:43:57
libcoq-mathcomp_1.15.0-1_amd64.deb
2.53M
2023-08-11 14:21:12
libcoq-mathcomp-solvable_1.15.0-1_amd64.deb
4.97M
2023-08-11 14:21:11
libcoq-mathcomp-ssreflect_1.15.0-1_amd64.deb
4.50M
2023-08-11 14:21:11
libcoq-mathcomp-field_1.15.0-1_amd64.deb
2.99M
2023-08-11 14:21:10
libcoq-mathcomp-fingroup_1.15.0-1_amd64.deb
2.02M
2023-08-11 14:21:10
libcoq-mathcomp-algebra_1.15.0-1_amd64.deb
7.00M
2023-08-11 14:21:08
libcoq-mathcomp-character_1.15.0-1_amd64.deb
4.30M
2023-08-11 14:21:08
libssreflect-coq_1.12.0-1_all.deb
25.18M
2023-03-30 00:23:30
libssreflect-coq_1.11.0-1build1_all.deb
24.44M
2022-02-25 00:07:26