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


../
libssreflect-coq_1.3pl2-2build1_all.deb            08-Jan-2012 16:03     15M
libssreflect-coq_1.5-3build1_all.deb               05-Nov-2015 03:58      1M
libssreflect-coq_1.5~rc1-3_all.deb                 21-Jan-2014 05:53      1M
libssreflect-coq_1.6.1-2build4_all.deb             31-Aug-2017 02:03     23M
libssreflect-coq_1.6.1-3build1_all.deb             28-Oct-2017 17:03     23M
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb    08-Jan-2012 15:33    381K
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb     08-Jan-2012 16:03    375K
libssreflect-ocaml-dev_1.5-3build1_amd64.deb       05-Nov-2015 03:58     63K
libssreflect-ocaml-dev_1.5-3build1_i386.deb        05-Nov-2015 03:59     63K
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb         21-Jan-2014 05:53     60K
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb          21-Jan-2014 05:54     60K
libssreflect-ocaml-dev_1.6.1-2build4_amd64.deb     31-Aug-2017 02:03     59K
libssreflect-ocaml-dev_1.6.1-2build4_i386.deb      31-Aug-2017 01:53     59K
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb     28-Oct-2017 17:03     59K
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb      28-Oct-2017 17:03     59K
libssreflect-ocaml_1.3pl2-2build1_amd64.deb        08-Jan-2012 15:33    460K
libssreflect-ocaml_1.3pl2-2build1_i386.deb         08-Jan-2012 16:03    387K
libssreflect-ocaml_1.5-3build1_amd64.deb           05-Nov-2015 03:58    435K
libssreflect-ocaml_1.5-3build1_i386.deb            05-Nov-2015 03:59    384K
libssreflect-ocaml_1.5~rc1-3_amd64.deb             21-Jan-2014 05:53    440K
libssreflect-ocaml_1.5~rc1-3_i386.deb              21-Jan-2014 05:54    382K
libssreflect-ocaml_1.6.1-2build4_amd64.deb         31-Aug-2017 02:03    387K
libssreflect-ocaml_1.6.1-2build4_i386.deb          31-Aug-2017 01:53    335K
libssreflect-ocaml_1.6.1-3build1_amd64.deb         28-Oct-2017 17:03    390K
libssreflect-ocaml_1.6.1-3build1_i386.deb          28-Oct-2017 17:03    340K
ssreflect_1.3pl2-2build1.debian.tar.gz             08-Jan-2012 15:33     13K
ssreflect_1.3pl2-2build1.dsc                       08-Jan-2012 15:33    2272
ssreflect_1.3pl2.orig.tar.gz                       05-Dec-2011 12:07    815K
ssreflect_1.5-3build1.debian.tar.xz                05-Nov-2015 03:48     11K
ssreflect_1.5-3build1.dsc                          05-Nov-2015 03:48    1911
ssreflect_1.5.orig.tar.gz                          26-Apr-2014 12:12    213K
ssreflect_1.5~rc1-3.debian.tar.xz                  21-Jan-2014 05:18     11K
ssreflect_1.5~rc1-3.dsc                            21-Jan-2014 05:18    2240
ssreflect_1.5~rc1.orig.tar.gz                      06-Dec-2013 17:23    199K
ssreflect_1.6.1-2build4.debian.tar.xz              31-Aug-2017 01:23     12K
ssreflect_1.6.1-2build4.dsc                        31-Aug-2017 01:24    2032
ssreflect_1.6.1-3build1.debian.tar.xz              28-Oct-2017 16:19     12K
ssreflect_1.6.1-3build1.dsc                        28-Oct-2017 16:19    2281
ssreflect_1.6.1.orig.tar.gz                        30-Dec-2016 17:13      4M