Index of /pub/debian-archive/debian/pool/main/s/ssreflect

Icon  Name                                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                                          -   
[   ] libssreflect-coq_1.2+dfsg-6_all.deb                  2010-07-15 16:14  3.5M  
[   ] libssreflect-coq_1.3pl4-1_all.deb                    2012-06-09 10:14   15M  
[   ] libssreflect-coq_1.5-2_all.deb                       2014-07-30 10:01  1.1M  
[   ] libssreflect-coq_1.6.1-2_all.deb                     2016-12-30 11:33   23M  
[   ] libssreflect-coq_1.12.0-1_all.deb                    2021-01-11 12:56   25M  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb          2010-07-15 16:14  315K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_armel.deb          2010-07-17 08:33   72K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb           2010-07-15 19:40  310K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_ia64.deb           2010-07-15 19:03   72K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_kfreebsd-amd64.deb 2010-07-16 08:32  316K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_kfreebsd-i386.deb  2010-07-15 18:51  307K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_mips.deb           2010-07-17 14:33   72K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_mipsel.deb         2010-07-15 20:10   72K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_powerpc.deb        2010-07-18 00:51  441K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_s390.deb           2010-07-15 19:40   72K  
[   ] libssreflect-ocaml-dev_1.2+dfsg-6_sparc.deb          2010-07-19 19:43  402K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_amd64.deb            2012-06-09 10:14  386K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_armel.deb            2012-06-09 11:09  429K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_armhf.deb            2012-06-09 12:34   78K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_i386.deb             2012-06-09 11:10  379K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_ia64.deb             2012-06-09 11:10   78K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_kfreebsd-amd64.deb   2012-06-09 11:10  382K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_kfreebsd-i386.deb    2012-06-09 11:10  375K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_mips.deb             2012-06-09 12:20   78K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_mipsel.deb           2012-06-09 19:51   78K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_powerpc.deb          2012-06-10 12:53  538K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_s390.deb             2012-06-09 11:10   78K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_s390x.deb            2012-06-09 11:11   78K  
[   ] libssreflect-ocaml-dev_1.3pl4-1_sparc.deb            2012-06-09 11:11  488K  
[   ] libssreflect-ocaml-dev_1.5-2+b1_mips.deb             2014-08-10 18:14   63K  
[   ] libssreflect-ocaml-dev_1.5-2+b1_s390x.deb            2014-08-27 01:26   63K  
[   ] libssreflect-ocaml-dev_1.5-2_amd64.deb               2014-07-30 10:01   63K  
[   ] libssreflect-ocaml-dev_1.5-2_arm64.deb               2014-09-24 10:40   63K  
[   ] libssreflect-ocaml-dev_1.5-2_armel.deb               2014-07-30 11:11   63K  
[   ] libssreflect-ocaml-dev_1.5-2_armhf.deb               2014-07-30 11:11   63K  
[   ] libssreflect-ocaml-dev_1.5-2_i386.deb                2014-07-30 10:56   63K  
[   ] libssreflect-ocaml-dev_1.5-2_kfreebsd-amd64.deb      2014-07-30 11:01   63K  
[   ] libssreflect-ocaml-dev_1.5-2_kfreebsd-i386.deb       2014-07-30 11:27   63K  
[   ] libssreflect-ocaml-dev_1.5-2_mipsel.deb              2014-07-30 13:27   63K  
[   ] libssreflect-ocaml-dev_1.5-2_powerpc.deb             2014-07-30 10:56   63K  
[   ] libssreflect-ocaml-dev_1.5-2_ppc64el.deb             2014-09-06 19:27   63K  
[   ] libssreflect-ocaml-dev_1.6.1-2_amd64.deb             2016-12-30 11:33   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_arm64.deb             2016-12-30 11:58   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_armel.deb             2016-12-30 13:44   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_armhf.deb             2016-12-30 11:58   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_i386.deb              2016-12-30 11:58   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_mips.deb              2016-12-30 12:13   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_mips64el.deb          2017-01-04 11:43   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_mipsel.deb            2016-12-30 14:14   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_ppc64el.deb           2016-12-30 11:58   62K  
[   ] libssreflect-ocaml-dev_1.6.1-2_s390x.deb             2016-12-30 11:58   62K  
[   ] libssreflect-ocaml_1.2+dfsg-6_amd64.deb              2010-07-15 16:14  376K  
[   ] libssreflect-ocaml_1.2+dfsg-6_armel.deb              2010-07-17 08:33   94K  
[   ] libssreflect-ocaml_1.2+dfsg-6_i386.deb               2010-07-15 19:40  315K  
[   ] libssreflect-ocaml_1.2+dfsg-6_ia64.deb               2010-07-15 19:03   94K  
[   ] libssreflect-ocaml_1.2+dfsg-6_kfreebsd-amd64.deb     2010-07-16 08:32  374K  
[   ] libssreflect-ocaml_1.2+dfsg-6_kfreebsd-i386.deb      2010-07-15 18:51  315K  
[   ] libssreflect-ocaml_1.2+dfsg-6_mips.deb               2010-07-17 14:33   94K  
[   ] libssreflect-ocaml_1.2+dfsg-6_mipsel.deb             2010-07-15 20:10   95K  
[   ] libssreflect-ocaml_1.2+dfsg-6_powerpc.deb            2010-07-18 00:51  399K  
[   ] libssreflect-ocaml_1.2+dfsg-6_s390.deb               2010-07-15 19:40   94K  
[   ] libssreflect-ocaml_1.2+dfsg-6_sparc.deb              2010-07-19 19:43  405K  
[   ] libssreflect-ocaml_1.3pl4-1_amd64.deb                2012-06-09 10:14  466K  
[   ] libssreflect-ocaml_1.3pl4-1_armel.deb                2012-06-09 11:09  117K  
[   ] libssreflect-ocaml_1.3pl4-1_armhf.deb                2012-06-09 12:34  117K  
[   ] libssreflect-ocaml_1.3pl4-1_i386.deb                 2012-06-09 11:10  395K  
[   ] libssreflect-ocaml_1.3pl4-1_ia64.deb                 2012-06-09 11:10  118K  
[   ] libssreflect-ocaml_1.3pl4-1_kfreebsd-amd64.deb       2012-06-09 11:10  466K  
[   ] libssreflect-ocaml_1.3pl4-1_kfreebsd-i386.deb        2012-06-09 11:10  395K  
[   ] libssreflect-ocaml_1.3pl4-1_mips.deb                 2012-06-09 12:20  117K  
[   ] libssreflect-ocaml_1.3pl4-1_mipsel.deb               2012-06-09 19:51  118K  
[   ] libssreflect-ocaml_1.3pl4-1_powerpc.deb              2012-06-10 12:53  500K  
[   ] libssreflect-ocaml_1.3pl4-1_s390.deb                 2012-06-09 11:10  117K  
[   ] libssreflect-ocaml_1.3pl4-1_s390x.deb                2012-06-09 11:11  117K  
[   ] libssreflect-ocaml_1.3pl4-1_sparc.deb                2012-06-09 11:11  494K  
[   ] libssreflect-ocaml_1.5-2+b1_mips.deb                 2014-08-10 18:14  108K  
[   ] libssreflect-ocaml_1.5-2+b1_s390x.deb                2014-08-27 01:26  108K  
[   ] libssreflect-ocaml_1.5-2_amd64.deb                   2014-07-30 10:01  466K  
[   ] libssreflect-ocaml_1.5-2_arm64.deb                   2014-09-24 10:40  107K  
[   ] libssreflect-ocaml_1.5-2_armel.deb                   2014-07-30 11:11  427K  
[   ] libssreflect-ocaml_1.5-2_armhf.deb                   2014-07-30 11:11  435K  
[   ] libssreflect-ocaml_1.5-2_i386.deb                    2014-07-30 10:56  399K  
[   ] libssreflect-ocaml_1.5-2_kfreebsd-amd64.deb          2014-07-30 11:01  462K  
[   ] libssreflect-ocaml_1.5-2_kfreebsd-i386.deb           2014-07-30 11:27  400K  
[   ] libssreflect-ocaml_1.5-2_mipsel.deb                  2014-07-30 13:27  107K  
[   ] libssreflect-ocaml_1.5-2_powerpc.deb                 2014-07-30 10:56  395K  
[   ] libssreflect-ocaml_1.5-2_ppc64el.deb                 2014-09-06 19:27  107K  
[   ] libssreflect-ocaml_1.6.1-2_amd64.deb                 2016-12-30 11:33  345K  
[   ] libssreflect-ocaml_1.6.1-2_arm64.deb                 2016-12-30 11:58  340K  
[   ] libssreflect-ocaml_1.6.1-2_armel.deb                 2016-12-30 13:44  372K  
[   ] libssreflect-ocaml_1.6.1-2_armhf.deb                 2016-12-30 11:58  382K  
[   ] libssreflect-ocaml_1.6.1-2_i386.deb                  2016-12-30 11:58  311K  
[   ] libssreflect-ocaml_1.6.1-2_mips.deb                  2016-12-30 12:13   92K  
[   ] libssreflect-ocaml_1.6.1-2_mips64el.deb              2017-01-04 11:43   92K  
[   ] libssreflect-ocaml_1.6.1-2_mipsel.deb                2016-12-30 14:14   92K  
[   ] libssreflect-ocaml_1.6.1-2_ppc64el.deb               2016-12-30 11:58   92K  
[   ] libssreflect-ocaml_1.6.1-2_s390x.deb                 2016-12-30 11:58   92K  
[   ] ssreflect_1.2+dfsg-6.debian.tar.gz                   2010-07-15 16:14   12K  
[TXT] ssreflect_1.2+dfsg-6.dsc                             2010-07-15 16:14  2.1K  
[   ] ssreflect_1.2+dfsg.orig.tar.gz                       2009-08-26 23:48  324K  
[   ] ssreflect_1.3pl4-1.debian.tar.gz                     2012-06-09 10:14   12K  
[TXT] ssreflect_1.3pl4-1.dsc                               2012-06-09 10:14  2.2K  
[   ] ssreflect_1.3pl4.orig.tar.gz                         2012-06-09 10:14  815K  
[   ] ssreflect_1.5-2.debian.tar.xz                        2014-07-30 10:01   11K  
[TXT] ssreflect_1.5-2.dsc                                  2014-07-30 10:01  2.2K  
[   ] ssreflect_1.5.orig.tar.gz                            2014-03-13 12:36  213K  
[   ] ssreflect_1.6.1-2.debian.tar.xz                      2016-12-30 11:33   12K  
[TXT] ssreflect_1.6.1-2.dsc                                2016-12-30 11:33  2.2K  
[   ] ssreflect_1.6.1.orig.tar.gz                          2016-12-30 09:53  4.5M  
[   ] ssreflect_1.12.0-1.debian.tar.xz                     2021-01-11 08:58   12K  
[TXT] ssreflect_1.12.0-1.dsc                               2021-01-11 08:58  2.0K  
[   ] ssreflect_1.12.0.orig.tar.gz                         2021-01-11 08:58  1.3M
Universidade do Porto | Helpdesk