Index of /nova/pool/extendido/s/ssreflect/

../
libcoq-mathcomp-algebra_1.14.0-7_all.deb           30-Apr-2022 06:20             7358598
libcoq-mathcomp-character_1.14.0-7_all.deb         30-Apr-2022 04:05             4591548
libcoq-mathcomp-field_1.14.0-7_all.deb             30-Apr-2022 07:05             3177868
libcoq-mathcomp-fingroup_1.14.0-7_all.deb          30-Apr-2022 08:28             2143514
libcoq-mathcomp-solvable_1.14.0-7_all.deb          30-Apr-2022 09:01             5269708
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb         30-Apr-2022 05:35             4699482
libcoq-mathcomp_1.14.0-7_all.deb                   30-Apr-2022 06:33             2653510
libssreflect-coq_1.10.0+dfsg-2_all.deb             22-Jun-2020 08:13            25950760
libssreflect-coq_1.6.1-3build1_all.deb             11-Jun-2020 04:57            24199944
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb     11-Jun-2020 04:52               60276
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb      11-Jun-2020 02:50               60272
libssreflect-ocaml_1.6.1-3build1_amd64.deb         11-Jun-2020 01:15              398912
libssreflect-ocaml_1.6.1-3build1_i386.deb          11-Jun-2020 03:53              348588
ssreflect_1.10.0+dfsg-2.debian.tar.xz              21-Jun-2020 20:53               12676
ssreflect_1.10.0+dfsg-2.dsc                        21-Jun-2020 20:53                2129
ssreflect_1.10.0+dfsg.orig.tar.gz                  21-Jun-2020 20:53             1218046
ssreflect_1.14.0-7.debian.tar.xz                   30-Apr-2022 19:17               12372
ssreflect_1.14.0-7.dsc                             30-Apr-2022 19:17                2580
ssreflect_1.14.0.orig.tar.gz                       30-Apr-2022 19:17             1352989
ssreflect_1.6.1-3build1.debian.tar.xz              11-Jun-2020 02:24               12572
ssreflect_1.6.1-3build1.dsc                        11-Jun-2020 02:24                2281
ssreflect_1.6.1.orig.tar.gz                        11-Jun-2020 02:24             4691532