Index of /pub/ubuntu-archive/ubuntu/pool/universe/s/ssreflect

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libssreflect-coq_1.2+dfsg-3build1_all.deb2010-03-06 03:04 3.5M 
[ ]libssreflect-coq_1.2+dfsg-6_all.deb2010-07-29 08:05 3.5M 
[ ]libssreflect-coq_1.3pl1-4build1_all.deb2011-08-25 08:03 15M 
[ ]libssreflect-coq_1.3pl2-2build1_all.deb2012-01-08 11:03 15M 
[ ]libssreflect-coq_1.3pl4-1_all.deb2012-06-10 15:04 15M 
[ ]libssreflect-coq_1.4-2_all.deb2013-05-09 14:33 24M 
[ ]libssreflect-coq_1.5-2_all.deb2014-07-30 14:38 1.1M 
[ ]libssreflect-coq_1.6.1-2_all.deb2016-12-30 14:03 23M 
[ ]libssreflect-coq_1.6.1-2build4_all.deb2017-08-30 22:03 23M 
[ ]libssreflect-coq_1.6.1-3build1_all.deb2017-10-28 13:03 23M 
[ ]libssreflect-ocaml-dev_1.2+dfsg-3build1_amd64.deb2010-03-06 04:04 316K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-3build1_i386.deb2010-03-06 03:05 307K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-3build1_ia64.deb2010-03-06 06:04 72K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-3build1_powerpc.deb2010-03-06 04:04 438K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-3build1_sparc.deb2010-03-06 04:05 399K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb2010-07-29 11:07 316K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-6_armel.deb2010-09-19 10:04 72K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb2010-07-29 08:05 307K 
[ ]libssreflect-ocaml-dev_1.2+dfsg-6_powerpc.deb2010-09-20 09:32 438K 
[ ]libssreflect-ocaml-dev_1.3pl1-4build1_amd64.deb2011-08-25 07:03 375K 
[ ]libssreflect-ocaml-dev_1.3pl1-4build1_armel.deb2011-08-25 13:04 417K 
[ ]libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb2011-08-25 08:03 367K 
[ ]libssreflect-ocaml-dev_1.3pl1-4build1_powerpc.deb2011-08-25 07:04 524K 
[ ]libssreflect-ocaml-dev_1.3pl2-2build1_amd64.deb2012-01-08 10:33 381K 
[ ]libssreflect-ocaml-dev_1.3pl2-2build1_armel.deb2012-01-08 10:33 424K 
[ ]libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb2012-01-08 11:03 375K 
[ ]libssreflect-ocaml-dev_1.3pl2-2build1_powerpc.deb2012-01-08 19:33 534K 
[ ]libssreflect-ocaml-dev_1.3pl4-1_amd64.deb2012-06-10 15:04 381K 
[ ]libssreflect-ocaml-dev_1.3pl4-1_armel.deb2012-06-10 15:04 429K 
[ ]libssreflect-ocaml-dev_1.3pl4-1_i386.deb2012-06-10 15:05 378K 
[ ]libssreflect-ocaml-dev_1.3pl4-1_powerpc.deb2012-06-11 21:33 534K 
[ ]libssreflect-ocaml-dev_1.4-2_amd64.deb2013-05-09 14:03 81K 
[ ]libssreflect-ocaml-dev_1.4-2_i386.deb2013-05-09 14:33 80K 
[ ]libssreflect-ocaml-dev_1.4-2_powerpc.deb2013-05-09 15:03 81K 
[ ]libssreflect-ocaml-dev_1.5-2_amd64.deb2014-07-30 14:38 62K 
[ ]libssreflect-ocaml-dev_1.5-2_arm64.deb2014-07-30 14:39 62K 
[ ]libssreflect-ocaml-dev_1.5-2_armhf.deb2014-07-30 14:39 62K 
[ ]libssreflect-ocaml-dev_1.5-2_i386.deb2014-07-30 14:40 62K 
[ ]libssreflect-ocaml-dev_1.5-2_powerpc.deb2014-07-30 14:40 62K 
[ ]libssreflect-ocaml-dev_1.5-2_ppc64el.deb2014-07-30 14:41 62K 
[ ]libssreflect-ocaml-dev_1.6.1-2_amd64.deb2016-12-30 14:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2_arm64.deb2016-12-30 14:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2_armhf.deb2016-12-30 14:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2_i386.deb2016-12-30 14:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2_ppc64el.deb2016-12-30 14:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2_s390x.deb2016-12-30 14:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2build4_amd64.deb2017-08-30 22:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2build4_armhf.deb2017-08-30 21:24 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2build4_i386.deb2017-08-30 21:53 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2build4_ppc64el.deb2017-08-30 21:24 59K 
[ ]libssreflect-ocaml-dev_1.6.1-2build4_s390x.deb2017-08-30 21:24 59K 
[ ]libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb2017-10-28 13:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb2017-10-28 13:44 59K 
[ ]libssreflect-ocaml-dev_1.6.1-3build1_armhf.deb2017-10-28 13:44 59K 
[ ]libssreflect-ocaml-dev_1.6.1-3build1_i386.deb2017-10-28 13:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-3build1_ppc64el.deb2017-10-28 13:03 59K 
[ ]libssreflect-ocaml-dev_1.6.1-3build1_s390x.deb2017-10-28 13:04 59K 
[ ]libssreflect-ocaml_1.2+dfsg-2_armel.deb2009-11-23 14:12 155K 
[ ]libssreflect-ocaml_1.2+dfsg-3build1_amd64.deb2010-03-06 04:04 374K 
[ ]libssreflect-ocaml_1.2+dfsg-3build1_i386.deb2010-03-06 03:05 315K 
[ ]libssreflect-ocaml_1.2+dfsg-3build1_ia64.deb2010-03-06 06:04 94K 
[ ]libssreflect-ocaml_1.2+dfsg-3build1_powerpc.deb2010-03-06 04:04 399K 
[ ]libssreflect-ocaml_1.2+dfsg-3build1_sparc.deb2010-03-06 04:05 406K 
[ ]libssreflect-ocaml_1.2+dfsg-6_amd64.deb2010-07-29 11:07 369K 
[ ]libssreflect-ocaml_1.2+dfsg-6_armel.deb2010-09-19 10:05 95K 
[ ]libssreflect-ocaml_1.2+dfsg-6_i386.deb2010-07-29 08:05 309K 
[ ]libssreflect-ocaml_1.2+dfsg-6_powerpc.deb2010-09-20 09:32 394K 
[ ]libssreflect-ocaml_1.3pl1-4build1_amd64.deb2011-08-25 07:03 453K 
[ ]libssreflect-ocaml_1.3pl1-4build1_armel.deb2011-08-25 13:04 115K 
[ ]libssreflect-ocaml_1.3pl1-4build1_i386.deb2011-08-25 08:03 381K 
[ ]libssreflect-ocaml_1.3pl1-4build1_powerpc.deb2011-08-25 07:04 482K 
[ ]libssreflect-ocaml_1.3pl2-2build1_amd64.deb2012-01-08 10:33 460K 
[ ]libssreflect-ocaml_1.3pl2-2build1_armel.deb2012-01-08 10:33 117K 
[ ]libssreflect-ocaml_1.3pl2-2build1_i386.deb2012-01-08 11:03 387K 
[ ]libssreflect-ocaml_1.3pl2-2build1_powerpc.deb2012-01-08 19:33 493K 
[ ]libssreflect-ocaml_1.3pl4-1_amd64.deb2012-06-10 15:04 460K 
[ ]libssreflect-ocaml_1.3pl4-1_armel.deb2012-06-10 15:04 117K 
[ ]libssreflect-ocaml_1.3pl4-1_i386.deb2012-06-10 15:05 388K 
[ ]libssreflect-ocaml_1.3pl4-1_powerpc.deb2012-06-11 21:33 494K 
[ ]libssreflect-ocaml_1.4-2_amd64.deb2013-05-09 14:03 566K 
[ ]libssreflect-ocaml_1.4-2_i386.deb2013-05-09 14:33 477K 
[ ]libssreflect-ocaml_1.4-2_powerpc.deb2013-05-09 15:03 603K 
[ ]libssreflect-ocaml_1.5-2_amd64.deb2014-07-30 14:38 461K 
[ ]libssreflect-ocaml_1.5-2_arm64.deb2014-07-30 14:39 106K 
[ ]libssreflect-ocaml_1.5-2_armhf.deb2014-07-30 14:39 434K 
[ ]libssreflect-ocaml_1.5-2_i386.deb2014-07-30 14:40 399K 
[ ]libssreflect-ocaml_1.5-2_powerpc.deb2014-07-30 14:40 396K 
[ ]libssreflect-ocaml_1.5-2_ppc64el.deb2014-07-30 14:41 107K 
[ ]libssreflect-ocaml_1.6.1-2_amd64.deb2016-12-30 14:03 342K 
[ ]libssreflect-ocaml_1.6.1-2_arm64.deb2016-12-30 14:03 337K 
[ ]libssreflect-ocaml_1.6.1-2_armhf.deb2016-12-30 14:03 336K 
[ ]libssreflect-ocaml_1.6.1-2_i386.deb2016-12-30 14:03 307K 
[ ]libssreflect-ocaml_1.6.1-2_ppc64el.deb2016-12-30 14:03 89K 
[ ]libssreflect-ocaml_1.6.1-2_s390x.deb2016-12-30 14:03 89K 
[ ]libssreflect-ocaml_1.6.1-2build4_amd64.deb2017-08-30 22:03 387K 
[ ]libssreflect-ocaml_1.6.1-2build4_armhf.deb2017-08-30 21:24 414K 
[ ]libssreflect-ocaml_1.6.1-2build4_i386.deb2017-08-30 21:53 335K 
[ ]libssreflect-ocaml_1.6.1-2build4_ppc64el.deb2017-08-30 21:24 395K 
[ ]libssreflect-ocaml_1.6.1-2build4_s390x.deb2017-08-30 21:24 404K 
[ ]libssreflect-ocaml_1.6.1-3build1_amd64.deb2017-10-28 13:03 390K 
[ ]libssreflect-ocaml_1.6.1-3build1_arm64.deb2017-10-28 13:44 448K 
[ ]libssreflect-ocaml_1.6.1-3build1_armhf.deb2017-10-28 13:44 375K 
[ ]libssreflect-ocaml_1.6.1-3build1_i386.deb2017-10-28 13:03 340K 
[ ]libssreflect-ocaml_1.6.1-3build1_ppc64el.deb2017-10-28 13:03 407K 
[ ]libssreflect-ocaml_1.6.1-3build1_s390x.deb2017-10-28 13:04 408K 
[ ]ssreflect_1.2+dfsg-3build1.debian.tar.gz2010-03-06 03:04 12K 
[TXT]ssreflect_1.2+dfsg-3build1.dsc2010-03-06 03:04 1.8K 
[ ]ssreflect_1.2+dfsg-6.debian.tar.gz2010-07-29 07:05 12K 
[TXT]ssreflect_1.2+dfsg-6.dsc2010-07-29 07:05 1.5K 
[ ]ssreflect_1.2+dfsg.orig.tar.gz2009-11-20 15:04 324K 
[ ]ssreflect_1.3pl1-4build1.debian.tar.gz2011-08-25 07:03 12K 
[TXT]ssreflect_1.3pl1-4build1.dsc2011-08-25 07:03 1.5K 
[ ]ssreflect_1.3pl1.orig.tar.gz2011-04-30 14:05 809K 
[ ]ssreflect_1.3pl2-2build1.debian.tar.gz2012-01-08 10:33 13K 
[TXT]ssreflect_1.3pl2-2build1.dsc2012-01-08 10:33 2.2K 
[ ]ssreflect_1.3pl2.orig.tar.gz2011-12-05 07:07 815K 
[ ]ssreflect_1.3pl4-1.debian.tar.gz2012-06-10 13:04 12K 
[TXT]ssreflect_1.3pl4-1.dsc2012-06-10 13:04 2.2K 
[ ]ssreflect_1.3pl4.orig.tar.gz2012-06-10 13:04 815K 
[ ]ssreflect_1.4-2.debian.tar.gz2013-05-09 13:33 12K 
[TXT]ssreflect_1.4-2.dsc2013-05-09 13:33 2.2K 
[ ]ssreflect_1.4.orig.tar.gz2013-05-09 13:33 1.0M 
[ ]ssreflect_1.5-2.debian.tar.xz2014-07-30 13:44 11K 
[TXT]ssreflect_1.5-2.dsc2014-07-30 13:44 2.2K 
[ ]ssreflect_1.5.orig.tar.gz2014-04-26 08:12 213K 
[ ]ssreflect_1.6.1-2.debian.tar.xz2016-12-30 12:13 12K 
[TXT]ssreflect_1.6.1-2.dsc2016-12-30 12:13 2.2K 
[ ]ssreflect_1.6.1-2build4.debian.tar.xz2017-08-30 21:23 12K 
[TXT]ssreflect_1.6.1-2build4.dsc2017-08-30 21:24 2.0K 
[ ]ssreflect_1.6.1-3build1.debian.tar.xz2017-10-28 12:19 12K 
[TXT]ssreflect_1.6.1-3build1.dsc2017-10-28 12:19 2.2K 
[ ]ssreflect_1.6.1.orig.tar.gz2016-12-30 12:13 4.5M