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

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

      from  12c05cd   Recompile with OCaml 4.02.3
       new  39ff825   Use HTTPS for Vcs-* links
       new  2614d6d   New upstream URL & watch file
       new  17564e4   Imported Upstream version 8.5.1
       new  a3a7c52   Merge tag 'upstream/8.5.1'
       new  f2abc87   debian/rules: Do not fail on non-installed files
       new  a65abda   Fix installed docs
       new  4bd88e8   Fix typos
       new  ffcbcd6   Bump Standards-Version to 3.9.8
       new  b5e93c1   Prepare upload

The 9 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                               |   1 +
 CHANGELOG                           |   5 -
 Caveats.v                           |   3 -
 Instances.v                         |  31 ++---
 Make                                |  21 ++++
 Makefile                            |  38 ++-----
 README.txt => README                |  24 +---
 Tutorial.v                          |  33 ------
 aac.mlpack                          |   1 -
 coq.ml                              |  60 +++++-----
 coq.mli                             |   6 +-
 debian/changelog                    |  15 +++
 debian/control                      |   8 +-
 debian/libaac-tactics-coq.docs      |   2 +-
 debian/patches/0001-Fix-typos.patch | 141 +++++++++++++++++++++++
 debian/patches/series               |   1 +
 debian/rules                        |   2 +-
 debian/watch                        |   3 +
 description                         |  15 +++
 evm_compute.ml                      | 221 ------------------------------------
 evm_compute.mli                     |  11 --
 files.txt                           |  11 --
 matcher.ml                          |   2 +-
 print.ml                            |   4 +-
 print.mli                           |   2 +-
 rewrite.ml4                         |  95 +++++-----------
 print.mli => rewrite.mli            |  16 +--
 theory.ml                           |  88 +++++++++++---
 theory.mli                          |   2 +-
 29 files changed, 370 insertions(+), 492 deletions(-)
 create mode 100644 Make
 rename README.txt => README (68%)
 mode change 100644 => 100755 coq.ml
 create mode 100644 debian/patches/0001-Fix-typos.patch
 create mode 100644 debian/patches/series
 create mode 100644 debian/watch
 create mode 100644 description
 delete mode 100644 evm_compute.ml
 delete mode 100644 evm_compute.mli
 delete mode 100644 files.txt
 copy print.mli => rewrite.mli (50%)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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

Reply via email to