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

Name Last Modified Size Type
Parent Directory  Directory
libssreflect-coq_1.2+dfsg-3build1_all.deb2010-Mar-06 03:04:563.5M application/octet-stream
libssreflect-coq_1.3pl2-2build1_all.deb2012-Jan-08 11:03:3815.3M application/octet-stream
libssreflect-coq_1.4-2_all.deb2013-May-09 14:33:2023.6M application/octet-stream
libssreflect-coq_1.5-2_all.deb2014-Jul-30 14:38:081.1M application/octet-stream
libssreflect-coq_1.5~rc1-3_all.deb2014-Jan-21 00:53:501.1M application/octet-stream
libssreflect-ocaml-dev_1.2+dfsg-3build1_amd64.deb2010-Mar-06 04:04:49315.5K application/octet-stream
libssreflect-ocaml-dev_1.2+dfsg-3build1_i386.deb2010-Mar-06 03:05:05306.9K application/octet-stream
libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb2012-Jan-08 10:33:40380.9K application/octet-stream
libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb2012-Jan-08 11:03:49374.6K application/octet-stream
libssreflect-ocaml-dev_1.4-2_amd64.deb2013-May-09 14:03:4080.8K application/octet-stream
libssreflect-ocaml-dev_1.4-2_i386.deb2013-May-09 14:33:2079.6K application/octet-stream
libssreflect-ocaml-dev_1.5-2_amd64.deb2014-Jul-30 14:38:0661.9K application/octet-stream
libssreflect-ocaml-dev_1.5-2_i386.deb2014-Jul-30 14:40:0661.9K application/octet-stream
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb2014-Jan-21 00:53:5060.2K application/octet-stream
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb2014-Jan-21 00:54:0260.2K application/octet-stream
libssreflect-ocaml_1.2+dfsg-3build1_amd64.deb2010-Mar-06 04:04:49374K application/octet-stream
libssreflect-ocaml_1.2+dfsg-3build1_i386.deb2010-Mar-06 03:05:05314.9K application/octet-stream
libssreflect-ocaml_1.3pl2-2build1_amd64.deb2012-Jan-08 10:33:40460.4K application/octet-stream
libssreflect-ocaml_1.3pl2-2build1_i386.deb2012-Jan-08 11:03:49387.5K application/octet-stream
libssreflect-ocaml_1.4-2_amd64.deb2013-May-09 14:03:41566.3K application/octet-stream
libssreflect-ocaml_1.4-2_i386.deb2013-May-09 14:33:21476.6K application/octet-stream
libssreflect-ocaml_1.5-2_amd64.deb2014-Jul-30 14:38:06460.5K application/octet-stream
libssreflect-ocaml_1.5-2_i386.deb2014-Jul-30 14:40:06398.5K application/octet-stream
libssreflect-ocaml_1.5~rc1-3_amd64.deb2014-Jan-21 00:53:50439.9K application/octet-stream
libssreflect-ocaml_1.5~rc1-3_i386.deb2014-Jan-21 00:54:02381.7K application/octet-stream
ssreflect_1.2+dfsg-3build1.debian.tar.gz2010-Mar-06 03:04:4812.2K application/x-gzip
ssreflect_1.2+dfsg-3build1.dsc2010-Mar-06 03:04:481.8K application/octet-stream
ssreflect_1.2+dfsg.orig.tar.gz2009-Nov-20 15:04:39324.5K application/x-gzip
ssreflect_1.3pl2-2build1.debian.tar.gz2012-Jan-08 10:33:3712.6K application/x-gzip
ssreflect_1.3pl2-2build1.dsc2012-Jan-08 10:33:372.2K application/octet-stream
ssreflect_1.3pl2.orig.tar.gz2011-Dec-05 07:07:26815.2K application/x-gzip
ssreflect_1.4-2.debian.tar.gz2013-May-09 13:33:3712K application/x-gzip
ssreflect_1.4-2.dsc2013-May-09 13:33:372.2K application/octet-stream
ssreflect_1.4.orig.tar.gz2013-May-09 13:33:37975.2K application/x-gzip
ssreflect_1.5-2.debian.tar.xz2014-Jul-30 13:44:5011.2K application/octet-stream
ssreflect_1.5-2.dsc2014-Jul-30 13:44:502.2K application/octet-stream
ssreflect_1.5.orig.tar.gz2014-Apr-26 08:12:50212.7K application/x-gzip
ssreflect_1.5~rc1-3.debian.tar.xz2014-Jan-21 00:18:3311.2K application/octet-stream
ssreflect_1.5~rc1-3.dsc2014-Jan-21 00:18:332.2K application/octet-stream
ssreflect_1.5~rc1.orig.tar.gz2013-Dec-06 12:23:26199.2K application/x-gzip