Index of /ubuntu/pool/universe/s/ssreflect

Name	Last modified	Size

Parent Directory		-
libssreflect-coq_1.10.0+dfsg-2_all.deb	2020-03-19 12:53	25M
libcoq-mathcomp_2.1.0-1build4_amd64.deb	2024-04-08 16:44	2.4M
libcoq-mathcomp_1.14.0-7_all.deb	2022-02-17 09:41	2.5M
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb	2024-04-08 16:44	6.3M
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb	2022-02-17 09:41	4.5M
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb	2024-04-08 16:44	5.0M
libcoq-mathcomp-solvable_1.14.0-7_all.deb	2022-02-17 09:41	5.0M
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb	2024-04-08 16:44	2.1M
libcoq-mathcomp-fingroup_1.14.0-7_all.deb	2022-02-17 09:41	2.0M
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb	2024-04-08 16:44	3.2M
libcoq-mathcomp-field_1.14.0-7_all.deb	2022-02-17 09:41	3.0M
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb	2024-04-08 16:44	4.2M
libcoq-mathcomp-character_1.14.0-7_all.deb	2022-02-17 09:41	4.4M
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb	2024-04-08 16:44	9.8M
libcoq-mathcomp-algebra_1.14.0-7_all.deb	2022-02-17 09:41	7.0M