Index of /ubuntu/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.3pl2-2build1_all.deb            08-Jan-2012 16:03     15M
libssreflect-coq_1.3pl2-4_all.deb                  30-Apr-2012 23:59     15M
libssreflect-ocaml-dev_1.2+dfsg-3build1_amd64.deb  06-Mar-2010 09:04    316K
libssreflect-ocaml-dev_1.2+dfsg-3build1_i386.deb   06-Mar-2010 08:05    307K
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb        29-Jul-2010 15:07    316K
libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb         29-Jul-2010 12:05    307K
libssreflect-ocaml-dev_1.3pl1-4build1_amd64.deb    25-Aug-2011 11:03    375K
libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb     25-Aug-2011 12:03    367K
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.3pl2-4_amd64.deb          30-Apr-2012 23:59    382K
libssreflect-ocaml-dev_1.3pl2-4_i386.deb           01-May-2012 00:10    378K
libssreflect-ocaml_1.2+dfsg-3build1_amd64.deb      06-Mar-2010 09:04    374K
libssreflect-ocaml_1.2+dfsg-3build1_i386.deb       06-Mar-2010 08:05    315K
libssreflect-ocaml_1.2+dfsg-6_amd64.deb            29-Jul-2010 15:07    369K
libssreflect-ocaml_1.2+dfsg-6_i386.deb             29-Jul-2010 12:05    309K
libssreflect-ocaml_1.3pl1-4build1_amd64.deb        25-Aug-2011 11:03    453K
libssreflect-ocaml_1.3pl1-4build1_i386.deb         25-Aug-2011 12:03    381K
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.3pl2-4_amd64.deb              30-Apr-2012 23:59    461K
libssreflect-ocaml_1.3pl2-4_i386.deb               01-May-2012 00:10    388K
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.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-4.debian.tar.gz                   30-Apr-2012 23:47     13K
ssreflect_1.3pl2-4.dsc                             30-Apr-2012 23:47    2250
ssreflect_1.3pl2.orig.tar.gz                       05-Dec-2011 12:07    815K