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 <gareuselesi...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits