This is an automated email from the git hooks/post-receive script. infinity0 pushed a commit to branch master in repository findlib.
commit 16f8c0e8db488bd81fd7d02a1ae83cd6fa14a45c Author: Ximin Luo <infini...@debian.org> Date: Thu Oct 20 12:11:53 2016 +0200 Install extra file in this new version --- debian/libfindlib-ocaml-dev.install.in | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/libfindlib-ocaml-dev.install.in b/debian/libfindlib-ocaml-dev.install.in index 0a65ffb..17d5eec 100644 --- a/debian/libfindlib-ocaml-dev.install.in +++ b/debian/libfindlib-ocaml-dev.install.in @@ -1,6 +1,7 @@ @OCamlStdlibDir@/topfind @OCamlStdlibDir@/findlib/Makefile.config @OCamlStdlibDir@/findlib/findlib_top.cma +@OCamlStdlibDir@/findlib/findlib_top.cmxs @OCamlStdlibDir@/findlib/*.cmi @OCamlStdlibDir@/findlib/*.mli @OCamlStdlibDir@/num-top/* -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/findlib.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