This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository parmap.
commit 64b4ef3ca3de943c46f8235f148a0f69da0834e1 Author: Stephane Glondu <[email protected]> Date: Sat Jul 22 12:32:39 2017 +0200 Update packaging --- debian/libparmap-ocaml-dev.install.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/libparmap-ocaml-dev.install.in b/debian/libparmap-ocaml-dev.install.in index e3ada71..702666b 100644 --- a/debian/libparmap-ocaml-dev.install.in +++ b/debian/libparmap-ocaml-dev.install.in @@ -4,7 +4,7 @@ OPT: @OCamlStdlibDir@/parmap/parmap.a @OCamlStdlibDir@/parmap/parmap_utils.cmi @OCamlStdlibDir@/parmap/parmap.cmi @OCamlStdlibDir@/parmap/bytearray.cmi -@OCamlStdlibDir@/parmap/setcore.mli +setcore.ml @OCamlStdlibDir@/parmap/ @OCamlStdlibDir@/parmap/parmap_utils.mli @OCamlStdlibDir@/parmap/parmap.mli @OCamlStdlibDir@/parmap/bytearray.mli -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/parmap.git _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
