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

../
libssreflect-coq_1.10.0+dfsg-2_all.deb             21-Mar-2025 23:05            25950760
libssreflect-coq_1.11.0-1build1_all.deb            21-Mar-2025 23:05            25628704
libssreflect-coq_1.11.0-2build1_all.deb            21-Mar-2025 23:05            25629180
libssreflect-coq_1.3pl2-2build1_all.deb            21-Mar-2025 23:05            16079258
libssreflect-coq_1.5-3build1_all.deb               21-Mar-2025 23:05             1193480
libssreflect-coq_1.5~rc1-3_all.deb                 21-Mar-2025 23:05             1188156
libssreflect-coq_1.6.1-3build1_all.deb             21-Mar-2025 23:05            24199944
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb    21-Mar-2025 23:05              390072
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb     21-Mar-2025 23:05              383552
libssreflect-ocaml-dev_1.5-3build1_amd64.deb       21-Mar-2025 23:05               64096
libssreflect-ocaml-dev_1.5-3build1_i386.deb        21-Mar-2025 23:05               64068
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb         21-Mar-2025 23:05               61652
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb          21-Mar-2025 23:05               61608
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb     21-Mar-2025 23:05               60276
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb      21-Mar-2025 23:05               60272
libssreflect-ocaml_1.3pl2-2build1_amd64.deb        21-Mar-2025 23:05              471440
libssreflect-ocaml_1.3pl2-2build1_i386.deb         21-Mar-2025 23:05              396752
libssreflect-ocaml_1.5-3build1_amd64.deb           21-Mar-2025 23:05              445836
libssreflect-ocaml_1.5-3build1_i386.deb            21-Mar-2025 23:05              393718
libssreflect-ocaml_1.5~rc1-3_amd64.deb             21-Mar-2025 23:05              450496
libssreflect-ocaml_1.5~rc1-3_i386.deb              21-Mar-2025 23:05              390814
libssreflect-ocaml_1.6.1-3build1_amd64.deb         21-Mar-2025 23:05              398912
libssreflect-ocaml_1.6.1-3build1_i386.deb          21-Mar-2025 23:05              348588
ssreflect_1.10.0+dfsg-2.debian.tar.xz              21-Mar-2025 23:05               12676
ssreflect_1.10.0+dfsg-2.dsc                        21-Mar-2025 23:05                2129
ssreflect_1.10.0+dfsg.orig.tar.gz                  21-Mar-2025 23:05             1218046
ssreflect_1.11.0-1build1.debian.tar.xz             21-Mar-2025 23:05               12800
ssreflect_1.11.0-1build1.dsc                       21-Mar-2025 23:05                2118
ssreflect_1.11.0-2build1.debian.tar.xz             21-Mar-2025 23:05               12824
ssreflect_1.11.0-2build1.dsc                       21-Mar-2025 23:05                2118
ssreflect_1.11.0.orig.tar.gz                       21-Mar-2025 23:05             1276618
ssreflect_1.3pl2-2build1.debian.tar.gz             21-Mar-2025 23:05               12862
ssreflect_1.3pl2-2build1.dsc                       21-Mar-2025 23:05                2272
ssreflect_1.3pl2.orig.tar.gz                       21-Mar-2025 23:05              834754
ssreflect_1.5-3build1.debian.tar.xz                21-Mar-2025 23:05               11592
ssreflect_1.5-3build1.dsc                          21-Mar-2025 23:05                1911
ssreflect_1.5.orig.tar.gz                          21-Mar-2025 23:05              217833
ssreflect_1.5~rc1-3.debian.tar.xz                  21-Mar-2025 23:05               11448
ssreflect_1.5~rc1-3.dsc                            21-Mar-2025 23:05                2240
ssreflect_1.5~rc1.orig.tar.gz                      21-Mar-2025 23:05              203960
ssreflect_1.6.1-3build1.debian.tar.xz              21-Mar-2025 23:05               12572
ssreflect_1.6.1-3build1.dsc                        21-Mar-2025 23:05                2281
ssreflect_1.6.1.orig.tar.gz                        21-Mar-2025 23:05             4691532