[Pkg-ocaml-maint-commits] [mikmatch] branch master updated (100e5cb -> 4e2e427)
Stéphane Glondu
glondu at moszumanska.debian.org
Thu Aug 4 12:03:59 UTC 2016
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository mikmatch.
from 100e5cb Release to unstable
new 857924a Update Homepage and debian/watch
new 6572e6e Imported Upstream version 1.0.8
new 45505a5 Merge tag 'upstream/1.0.8'
new 8c5e8a9 New upstream release
new 098f1c0 Update Vcs-*
new 0a57116 Reformat patches
new 0a42c25 Fix for pcre 7.2.0
new b883bc1 Bump Standards-Version to 3.9.8
new 4e2e427 Update changelog and prepare upload to unstable
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:
.gitignore | 8 ++
README.md | 4 +-
VERSION | 2 +-
common/match.ml | 7 +-
debian/changelog | 11 +++
debian/control | 8 +-
...{makefile.patch => 0001-Makefile-changes.patch} | 106 ++++++++++++---------
...0002-Make-manual-ocamldoc-4.00-compatible.patch | 20 ++++
debian/patches/0003-fix-for-pcre-7.2.0.patch | 90 +++++++++++++++++
debian/patches/ocamldoc-4.patch | 12 ---
debian/patches/series | 5 +-
debian/watch | 3 +-
pcre/Makefile | 10 +-
pcre/run_mikmatch_pcre.ml | 4 +-
str/META.template | 2 +-
15 files changed, 215 insertions(+), 77 deletions(-)
create mode 100644 .gitignore
rename debian/patches/{makefile.patch => 0001-Makefile-changes.patch} (80%)
create mode 100644 debian/patches/0002-Make-manual-ocamldoc-4.00-compatible.patch
create mode 100644 debian/patches/0003-fix-for-pcre-7.2.0.patch
delete mode 100644 debian/patches/ocamldoc-4.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/mikmatch.git
More information about the Pkg-ocaml-maint-commits
mailing list