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

../
libcoq-mathcomp-algebra_1.14.0-7_all.deb           29-Aug-2022 19:56      7M
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb    07-May-2024 00:47     10M
libcoq-mathcomp-character_1.14.0-7_all.deb         29-Aug-2022 19:56      4M
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb  07-May-2024 00:47      4M
libcoq-mathcomp-field_1.14.0-7_all.deb             29-Aug-2022 19:56      3M
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb      07-May-2024 00:47      3M
libcoq-mathcomp-fingroup_1.14.0-7_all.deb          29-Aug-2022 19:56      2M
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb   07-May-2024 00:47      2M
libcoq-mathcomp-solvable_1.14.0-7_all.deb          29-Aug-2022 19:56      5M
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb   07-May-2024 00:47      5M
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb         29-Aug-2022 19:56      4M
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb  07-May-2024 00:47      6M
libcoq-mathcomp_1.14.0-7_all.deb                   29-Aug-2022 19:56      3M
libcoq-mathcomp_2.1.0-1build4_amd64.deb            07-May-2024 00:47      2M
libssreflect-coq_1.10.0+dfsg-2_all.deb             18-Nov-2020 03:15     25M
libssreflect-coq_1.6.1-3build1_all.deb             28-Oct-2017 10:03     23M
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb     28-Oct-2017 10:03     59K
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb      18-Nov-2020 03:15     59K
libssreflect-ocaml_1.6.1-3build1_amd64.deb         28-Oct-2017 10:03    390K
libssreflect-ocaml_1.6.1-3build1_i386.deb          18-Nov-2020 03:15    340K
ssreflect_1.10.0+dfsg-2.debian.tar.xz              08-Sep-2021 04:59     12K
ssreflect_1.10.0+dfsg-2.dsc                        08-Sep-2021 04:59    2129
ssreflect_1.10.0+dfsg.orig.tar.gz                  08-Sep-2021 04:59      1M
ssreflect_1.14.0-7.debian.tar.xz                   29-Aug-2022 19:56     12K
ssreflect_1.14.0-7.dsc                             29-Aug-2022 19:56    2580
ssreflect_1.14.0.orig.tar.gz                       29-Aug-2022 19:56      1M
ssreflect_1.6.1-3build1.debian.tar.xz              08-Sep-2021 04:59     12K
ssreflect_1.6.1-3build1.dsc                        08-Sep-2021 04:59    2281
ssreflect_1.6.1.orig.tar.gz                        08-Sep-2021 04:59      4M
ssreflect_2.1.0-1build4.debian.tar.xz              07-May-2024 00:47     13K
ssreflect_2.1.0-1build4.dsc                        07-May-2024 00:47    2700
ssreflect_2.1.0.orig.tar.gz                        07-May-2024 00:47      2M