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
