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

../
libssreflect-coq_1.2+dfsg-3build1_all.deb          06-Mar-2010 08:04      3M
libssreflect-coq_1.2+dfsg-6_all.deb                29-Jul-2010 12:05      3M
libssreflect-coq_1.3pl1-4build1_all.deb            25-Aug-2011 12:03     15M
libssreflect-coq_1.3pl4-1_all.deb                  10-Jun-2012 19:04     15M
libssreflect-coq_1.4-2_all.deb                     09-May-2013 18:33     24M
libssreflect-coq_1.5-2_all.deb                     30-Jul-2014 18:38      1M
libssreflect-ocaml-dev_1.2+dfsg-3build1_i386.deb   06-Mar-2010 08:05    307K
libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb         29-Jul-2010 12:05    307K
libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb     25-Aug-2011 12:03    367K
libssreflect-ocaml-dev_1.3pl4-1_i386.deb           10-Jun-2012 19:05    378K
libssreflect-ocaml-dev_1.4-2_i386.deb              09-May-2013 18:33     80K
libssreflect-ocaml-dev_1.5-2_arm64.deb             30-Jul-2014 18:39     62K
libssreflect-ocaml-dev_1.5-2_i386.deb              30-Jul-2014 18:40     62K
libssreflect-ocaml_1.2+dfsg-3build1_i386.deb       06-Mar-2010 08:05    315K
libssreflect-ocaml_1.2+dfsg-6_i386.deb             29-Jul-2010 12:05    309K
libssreflect-ocaml_1.3pl1-4build1_i386.deb         25-Aug-2011 12:03    381K
libssreflect-ocaml_1.3pl4-1_i386.deb               10-Jun-2012 19:05    388K
libssreflect-ocaml_1.4-2_i386.deb                  09-May-2013 18:33    477K
libssreflect-ocaml_1.5-2_arm64.deb                 30-Jul-2014 18:39    106K
libssreflect-ocaml_1.5-2_i386.deb                  30-Jul-2014 18:40    399K
ssreflect_1.2+dfsg-3build1.debian.tar.gz           06-Mar-2010 08:04     12K
ssreflect_1.2+dfsg-3build1.dsc                     06-Mar-2010 08:04    1806
ssreflect_1.2+dfsg-6.debian.tar.gz                 29-Jul-2010 11:05     12K
ssreflect_1.2+dfsg-6.dsc                           29-Jul-2010 11:05    1490
ssreflect_1.2+dfsg.orig.tar.gz                     20-Nov-2009 20:04    324K
ssreflect_1.3pl1-4build1.debian.tar.gz             25-Aug-2011 11:03     12K
ssreflect_1.3pl1-4build1.dsc                       25-Aug-2011 11:03    1497
ssreflect_1.3pl1.orig.tar.gz                       30-Apr-2011 18:05    809K
ssreflect_1.3pl4-1.debian.tar.gz                   10-Jun-2012 17:04     12K
ssreflect_1.3pl4-1.dsc                             10-Jun-2012 17:04    2250
ssreflect_1.3pl4.orig.tar.gz                       10-Jun-2012 17:04    815K
ssreflect_1.4-2.debian.tar.gz                      09-May-2013 17:33     12K
ssreflect_1.4-2.dsc                                09-May-2013 17:33    2223
ssreflect_1.4.orig.tar.gz                          09-May-2013 17:33    975K
ssreflect_1.5-2.debian.tar.xz                      30-Jul-2014 17:44     11K
ssreflect_1.5-2.dsc                                30-Jul-2014 17:44    2252
ssreflect_1.5.orig.tar.gz                          26-Apr-2014 12:12    213K