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


../
libssreflect-coq_1.2+dfsg-3build1_all.deb          06-Mar-2010 08:04             3661754
libssreflect-coq_1.2+dfsg-6_all.deb                29-Jul-2010 12:05             3661142
libssreflect-coq_1.3pl1-4build1_all.deb            25-Aug-2011 12:03            15750724
libssreflect-coq_1.3pl2-2build1_all.deb            08-Jan-2012 16:03            16079258
libssreflect-coq_1.3pl4-1_all.deb                  10-Jun-2012 19:04            16084534
libssreflect-ocaml-dev_1.2+dfsg-3build1_amd64.deb  06-Mar-2010 09:04              323110
libssreflect-ocaml-dev_1.2+dfsg-3build1_i386.deb   06-Mar-2010 08:05              314258
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb        29-Jul-2010 15:07              323182
libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb         29-Jul-2010 12:05              314340
libssreflect-ocaml-dev_1.3pl1-4build1_amd64.deb    25-Aug-2011 11:03              383818
libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb     25-Aug-2011 12:03              376178
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb    08-Jan-2012 15:33              390072
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb     08-Jan-2012 16:03              383552
libssreflect-ocaml-dev_1.3pl4-1_amd64.deb          10-Jun-2012 19:04              390598
libssreflect-ocaml-dev_1.3pl4-1_i386.deb           10-Jun-2012 19:05              387484
libssreflect-ocaml_1.2+dfsg-3build1_amd64.deb      06-Mar-2010 09:04              382940
libssreflect-ocaml_1.2+dfsg-3build1_i386.deb       06-Mar-2010 08:05              322446
libssreflect-ocaml_1.2+dfsg-6_amd64.deb            29-Jul-2010 15:07              377522
libssreflect-ocaml_1.2+dfsg-6_i386.deb             29-Jul-2010 12:05              316354
libssreflect-ocaml_1.3pl1-4build1_amd64.deb        25-Aug-2011 11:03              464038
libssreflect-ocaml_1.3pl1-4build1_i386.deb         25-Aug-2011 12:03              389750
libssreflect-ocaml_1.3pl2-2build1_amd64.deb        08-Jan-2012 15:33              471440
libssreflect-ocaml_1.3pl2-2build1_i386.deb         08-Jan-2012 16:03              396752
libssreflect-ocaml_1.3pl4-1_amd64.deb              10-Jun-2012 19:04              471102
libssreflect-ocaml_1.3pl4-1_i386.deb               10-Jun-2012 19:05              397646
ssreflect_1.2+dfsg-3build1.debian.tar.gz           06-Mar-2010 08:04               12526
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               12593
ssreflect_1.2+dfsg-6.dsc                           29-Jul-2010 11:05                1490
ssreflect_1.2+dfsg.orig.tar.gz                     20-Nov-2009 20:04              332281
ssreflect_1.3pl1-4build1.debian.tar.gz             25-Aug-2011 11:03               12345
ssreflect_1.3pl1-4build1.dsc                       25-Aug-2011 11:03                1497
ssreflect_1.3pl1.orig.tar.gz                       30-Apr-2011 18:05              828876
ssreflect_1.3pl2-2build1.debian.tar.gz             08-Jan-2012 15:33               12862
ssreflect_1.3pl2-2build1.dsc                       08-Jan-2012 15:33                2272
ssreflect_1.3pl2.orig.tar.gz                       05-Dec-2011 12:07              834754
ssreflect_1.3pl4-1.debian.tar.gz                   10-Jun-2012 17:04               12533
ssreflect_1.3pl4-1.dsc                             10-Jun-2012 17:04                2250
ssreflect_1.3pl4.orig.tar.gz                       10-Jun-2012 17:04              834512