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 <st...@glondu.net>
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
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to