[Pkg-ocaml-maint-commits] [aac-tactics] branch master updated (017a43a -> 15d7275)

[Enrico Tassi]

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

gareuselesinge pushed a change to branch master
in repository aac-tactics.

      from  017a43a   Upload to unstable
       new  1117d2e   New upstream version 8.6
       new  fb74782   Merge tag 'upstream/8.6'
       new  a8c0742   aac for Coq 8.6
       new  76f9b4c   New upstream version 8.6.1
       new  f6c3508   Merge tag 'upstream/8.6.1'
       new  15d7275   8.6.1

The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 AAC.v                                    |   5 ++
 Make                                     |   6 +-
 Makefile                                 |   2 +
 aac.mlpack                               |   2 +-
 rewrite.ml4 => aac_rewrite.ml4           |  27 +++----
 rewrite.mli => aac_rewrite.mli           |   0
 coq.ml                                   |  65 +++++++++------
 coq.mli                                  |   6 +-
 debian/changelog                         |   8 ++
 debian/libaac-tactics-ocaml-dev.ocamldoc |   2 +-
 debian/patches/0001-Fix-typos.patch      | 132 -------------------------------
 debian/patches/series                    |   1 -
 helper.ml                                |   4 +-
 matcher.ml                               |   4 +-
 print.ml                                 |  11 +--
 print.mli                                |   4 +-
 theory.ml                                |   8 +-
 theory.mli                               |   2 +-
 18 files changed, 93 insertions(+), 196 deletions(-)
 rename rewrite.ml4 => aac_rewrite.ml4 (96%)
 rename rewrite.mli => aac_rewrite.mli (100%)
 delete mode 100644 debian/patches/0001-Fix-typos.patch
 delete mode 100644 debian/patches/series

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