[Pkg-ocaml-maint-commits] [extlib] 02/08: Merge tag 'upstream/1.7.2'
Andy Li
andyli-guest at moszumanska.debian.org
Tue Nov 28 07:24:54 UTC 2017
This is an automated email from the git hooks/post-receive script.
andyli-guest pushed a commit to branch master
in repository extlib.
commit e429e9628b901efcc5d271275477ddb572d60b93
Merge: 7474ecf 71669a6
Author: Andy Li <andy at onthewings.net>
Date: Tue Nov 28 14:30:02 2017 +0800
Merge tag 'upstream/1.7.2'
Upstream version 1.7.2
.gitignore | 3 -
.travis.yml | 13 +
CHANGES | 7 +
Makefile | 10 +-
README => README.md | 78 ++-
appveyor.yml | 13 +
opam | 35 ++
src/IO.ml | 1126 +++++++++++++++++-----------------
src/IO.mli | 88 +--
src/Makefile | 18 +-
src/base64.ml | 154 ++---
src/base64.mli | 14 +-
src/bitSet.ml | 150 ++---
src/configure.ml | 3 +
src/dllist.ml | 412 ++++++-------
src/dynArray.ml | 658 ++++++++++----------
src/dynArray.mli | 212 +++----
src/enum.ml | 566 ++++++++---------
src/enum.mli | 20 +-
src/extArray.ml | 31 +-
src/extArray.mli | 55 +-
src/{extBuffer.mlpp => extBuffer.ml} | 0
src/extBuffer.mli | 6 +
src/{extBytes.mlpp => extBytes.ml} | 0
src/extHashtbl.ml | 166 +++++
src/extHashtbl.mli | 227 +++++--
src/extHashtbl.mlpp | 159 -----
src/extLib.ml | 20 +-
src/extList.ml | 779 ++++++++++++-----------
src/extList.mli | 384 ++++++------
src/extString.ml | 334 ++++++++++
src/extString.mli | 252 ++++----
src/extString.mlpp | 285 ---------
src/global.ml | 6 +-
src/global.mli | 6 +-
src/install.ml | 347 ++++++-----
src/option.ml | 28 +-
src/option.mli | 10 +-
src/pMap.ml | 22 +-
src/pMap.mli | 4 +-
src/refList.ml | 122 ++--
src/refList.mli | 38 +-
src/std.ml | 146 ++---
src/std.mli | 8 +-
src/unzip.ml | 660 ++++++++++----------
src/unzip.mli | 16 +-
test/Makefile | 19 +-
test/std.ml | 24 +
test/test_ExtArray.ml | 2 +-
49 files changed, 4064 insertions(+), 3672 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/extlib.git
More information about the Pkg-ocaml-maint-commits
mailing list