[Pkg-ocaml-maint-commits] [ssreflect] 02/03: Merge tag 'upstream/1.6.1'

[Enrico Tassi]

This is an automated email from the git hooks/post-receive script.

gareuselesinge pushed a commit to branch master
in repository ssreflect.

commit 582fd9f4b4a3a766b7038ba39e4134ce7843b69a
Merge: 18f7769 bdffa48
Author: Enrico Tassi <gareuselesinge at debian.org>
Date:   Tue Dec 27 16:10:50 2016 +0000

    Merge tag 'upstream/1.6.1'
    
    Upstream version 1.6.1

 AUTHORS                                            |   16 +-
 CeCILL-B                                           |  515 +++++++-
 ChangeLog                                          |  109 +-
 INSTALL                                            |  101 +-
 README                                             |   41 +-
 etc/utils/packager                                 |   10 +-
 etc/utils/ssrcoqdep                                |    2 +-
 etc/win-installer.nsi                              |   56 +-
 mathcomp/Make                                      |    4 -
 mathcomp/ssreflect/Make                            |    4 -
 mathcomp/ssreflect/Makefile.coq-makefile           |   23 +-
 mathcomp/ssreflect/opam                            |    4 +-
 mathcomp/ssreflect/plugin/trunk/ssreflect.ml4      |  478 +++----
 .../{ssreflect.mllib => ssreflect_plugin.mlpack}   |    0
 mathcomp/ssreflect/plugin/trunk/ssrmatching.ml4    | 1305 --------------------
 mathcomp/ssreflect/plugin/trunk/ssrmatching.mli    |  241 ----
 mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4       |   15 +-
 .../{ssreflect.mllib => ssreflect_plugin.mllib}    |    0
 mathcomp/ssreflect/plugin/v8.4/ssrmatching.ml4     |   19 +-
 mathcomp/ssreflect/plugin/v8.4/ssrmatching.mli     |    2 +-
 mathcomp/ssreflect/{ => plugin/v8.4}/ssrmatching.v |    3 +-
 mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4       |   70 +-
 .../{ssreflect.mllib => ssreflect_plugin.mllib}    |    0
 mathcomp/ssreflect/plugin/v8.5/ssrmatching.ml4     |  111 +-
 mathcomp/ssreflect/plugin/v8.5/ssrmatching.mli     |    2 +-
 mathcomp/ssreflect/{ => plugin/v8.5}/ssrmatching.v |    3 +-
 .../ssreflect/plugin/{trunk => v8.6}/ssreflect.ml4 |  451 ++++---
 .../ssreflect_plugin.mlpack}                       |    0
 mathcomp/ssreflect/ssrbool.v                       |    2 +
 mathcomp/ssreflect/ssreflect.v                     |    7 +-
 30 files changed, 1495 insertions(+), 2099 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git