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

../
libcoq-mathcomp-algebra_1.14.0-7_all.deb           31-Aug-2023 01:43             7358598
libcoq-mathcomp-algebra_2.1.0-1build4_arm64.deb    11-Apr-2024 00:15            10320056
libcoq-mathcomp-character_1.14.0-7_all.deb         31-Aug-2023 01:43             4591548
libcoq-mathcomp-character_2.1.0-1build4_arm64.deb  11-Apr-2024 00:15             4414536
libcoq-mathcomp-field_1.14.0-7_all.deb             31-Aug-2023 01:43             3177868
libcoq-mathcomp-field_2.1.0-1build4_arm64.deb      11-Apr-2024 00:15             3394170
libcoq-mathcomp-fingroup_1.14.0-7_all.deb          31-Aug-2023 01:43             2143514
libcoq-mathcomp-fingroup_2.1.0-1build4_arm64.deb   11-Apr-2024 00:15             2233158
libcoq-mathcomp-solvable_1.14.0-7_all.deb          31-Aug-2023 01:43             5269708
libcoq-mathcomp-solvable_2.1.0-1build4_arm64.deb   11-Apr-2024 00:15             5236746
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb         31-Aug-2023 01:43             4699482
libcoq-mathcomp-ssreflect_2.1.0-1build4_arm64.deb  11-Apr-2024 00:15             6618920
libcoq-mathcomp_1.14.0-7_all.deb                   31-Aug-2023 01:43             2653510
libcoq-mathcomp_2.1.0-1build4_arm64.deb            11-Apr-2024 00:15             2465114
libssreflect-coq_1.10.0+dfsg-2_all.deb             31-Aug-2023 01:43            25950760
ssreflect_1.10.0+dfsg-2.debian.tar.xz              31-Aug-2023 01:43               12676
ssreflect_1.10.0+dfsg-2.dsc                        31-Aug-2023 01:43                2129
ssreflect_1.10.0+dfsg.orig.tar.gz                  31-Aug-2023 01:43             1218046
ssreflect_1.14.0-7.debian.tar.xz                   31-Aug-2023 01:43               12372
ssreflect_1.14.0-7.dsc                             31-Aug-2023 01:43                2580
ssreflect_1.14.0.orig.tar.gz                       31-Aug-2023 01:43             1352989
ssreflect_2.1.0-1build4.debian.tar.xz              11-Apr-2024 00:15               12836
ssreflect_2.1.0-1build4.dsc                        11-Apr-2024 00:15                2700
ssreflect_2.1.0.orig.tar.gz                        01-Feb-2024 00:14             1835482