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


../
libssreflect-coq_1.10.0+dfsg-2_all.deb             19-Mar-2020 09:23            25950760
libssreflect-coq_1.5-3build1_all.deb               05-Nov-2015 03:58             1193480
libssreflect-coq_1.6.1-3build1_all.deb             28-Oct-2017 17:03            24199944
libssreflect-ocaml-dev_1.5-3build1_amd64.deb       05-Nov-2015 03:58               64096
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb     28-Oct-2017 17:03               60276
libssreflect-ocaml_1.5-3build1_amd64.deb           05-Nov-2015 03:58              445836
libssreflect-ocaml_1.6.1-3build1_amd64.deb         28-Oct-2017 17:03              398912
ssreflect_1.10.0+dfsg-2.debian.tar.xz              19-Mar-2020 08:48               12676
ssreflect_1.10.0+dfsg-2.dsc                        19-Mar-2020 08:48                2129
ssreflect_1.10.0+dfsg.orig.tar.gz                  06-Dec-2019 17:38             1218046
ssreflect_1.5-3build1.debian.tar.xz                05-Nov-2015 03:48               11592
ssreflect_1.5-3build1.dsc                          05-Nov-2015 03:48                1911
ssreflect_1.5.orig.tar.gz                          26-Apr-2014 12:12              217833
ssreflect_1.6.1-3build1.debian.tar.xz              28-Oct-2017 16:19               12572
ssreflect_1.6.1-3build1.dsc                        28-Oct-2017 16:19                2281
ssreflect_1.6.1.orig.tar.gz                        30-Dec-2016 17:13             4691532