[Pkg-ocaml-maint-commits] [findlib] 02/05: Merge tag 'upstream/1.6.3'
Ximin Luo
infinity0 at debian.org
Thu Oct 20 10:16:30 UTC 2016
This is an automated email from the git hooks/post-receive script.
infinity0 pushed a commit to branch master
in repository findlib.
commit edc762f88453798cb513507e6bc045d3d612fc65
Merge: 8f601a8 2e9f3a7
Author: Ximin Luo <infinity0 at debian.org>
Date: Thu Oct 20 12:02:11 2016 +0200
Merge tag 'upstream/1.6.3'
Upstream version 1.6.3
# gpg: Signature made Thu 20 Oct 2016 12:02:10 CEST
# gpg: using RSA key 860DEF3B8F650B79
# gpg: Good signature from "Ximin Luo <infinity0 at pwned.gg>" [ultimate]
# gpg: aka "Ximin Luo <infinity0 at torproject.org>" [ultimate]
# gpg: aka "Ximin Luo <infinity0 at freenetproject.org>" [ultimate]
# gpg: aka "Ximin Luo <infinity0 at debian.org>" [ultimate]
# gpg: aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin at gmx.com>" [ultimate]
Makefile | 2 +-
configure | 11 +-
doc/README | 7 ++
doc/README.xml | 10 ++
doc/ref-html/{c1081.html => c1089.html} | 12 +-
doc/ref-html/index.html | 12 +-
doc/ref-html/lib/Findlib.html | 22 +++-
doc/ref-html/lib/Fl_metascanner.html | 20 +++-
doc/ref-html/lib/Fl_package_base.html | 33 ++++-
doc/ref-html/lib/Topfind.html | 22 ++++
.../{index_classes.html => index_extensions.html} | 4 +-
doc/ref-html/lib/index_values.html | 5 +
doc/ref-html/lib/type_Findlib.html | 2 +
doc/ref-html/{p1079.html => p1087.html} | 16 +--
doc/ref-html/{p719.html => p727.html} | 14 +--
doc/ref-html/{r1021.html => r1029.html} | 26 ++--
doc/ref-html/r17.html | 133 +++++++++++----------
doc/ref-html/{r721.html => r729.html} | 34 +++---
doc/ref-html/{r825.html => r833.html} | 26 ++--
doc/ref-man/ocamlfind.1 | 31 ++++-
doc/src/findlib_ocamlfind.mod | 13 +-
doc/src/findlib_reference.xml | 13 +-
site-lib-src/bigarray/interfaces.out | 1 +
site-lib-src/dbm/interfaces.out | 1 +
site-lib-src/dynlink/interfaces.out | 1 +
site-lib-src/graphics/interfaces.out | 1 +
site-lib-src/labltk/interfaces.out | 1 +
site-lib-src/num/interfaces.out | 1 +
site-lib-src/stdlib/interfaces.out | 1 +
site-lib-src/str/interfaces.out | 1 +
site-lib-src/threads/interfaces.out | 1 +
site-lib-src/unix/interfaces.out | 1 +
src/findlib/Makefile | 21 ++--
src/findlib/findlib.ml | 19 ++-
src/findlib/findlib.mli | 8 +-
src/findlib/frontend.ml | 77 +++++++-----
src/findlib/topfind_rd1.p | 20 +++-
37 files changed, 424 insertions(+), 199 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/findlib.git
More information about the Pkg-ocaml-maint-commits
mailing list