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.3pl1-4build1_all.deb2011-Aug-25 08:03:3815M application/octet-stream
libssreflect-coq_1.3pl2-2build1_all.deb2012-Jan-08 11:03:3815.3M application/octet-stream
libssreflect-coq_1.3pl4-1_all.deb2012-Jun-10 15:04:2615.3M application/octet-stream
libssreflect-coq_1.4-2_all.deb2013-May-09 14:33:2023.6M 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.3pl1-4build1_amd64.deb2011-Aug-25 07:03:55374.8K application/octet-stream
libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb2011-Aug-25 08:03:45367.4K 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.3pl4-1_amd64.deb2012-Jun-10 15:04:35381.4K application/octet-stream
libssreflect-ocaml-dev_1.3pl4-1_i386.deb2012-Jun-10 15:05:11378.4K 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~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.3pl1-4build1_amd64.deb2011-Aug-25 07:03:56453.2K application/octet-stream
libssreflect-ocaml_1.3pl1-4build1_i386.deb2011-Aug-25 08:03:45380.6K 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.3pl4-1_amd64.deb2012-Jun-10 15:04:35460.1K application/octet-stream
libssreflect-ocaml_1.3pl4-1_i386.deb2012-Jun-10 15:05:11388.3K 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~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.3pl1-4build1.debian.tar.gz2011-Aug-25 07:03:4312.1K application/x-gzip
ssreflect_1.3pl1-4build1.dsc2011-Aug-25 07:03:431.5K application/octet-stream
ssreflect_1.3pl1.orig.tar.gz2011-Apr-30 14:05:01809.4K 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.3pl4-1.debian.tar.gz2012-Jun-10 13:04:2412.2K application/x-gzip
ssreflect_1.3pl4-1.dsc2012-Jun-10 13:04:252.2K application/octet-stream
ssreflect_1.3pl4.orig.tar.gz2012-Jun-10 13:04:25815K 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~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