[Pkg-ocaml-maint-commits] [aac-tactics] branch master updated (12c05cd -> b5e93c1)
Nicolas Braud-Santoni
nicolas at braud-santoni.eu
Sun Jul 24 02:17:57 UTC 2016
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
More information about the Pkg-ocaml-maint-commits
mailing list