[Pkg-ocaml-maint-commits] [mathcomp] 06/13: Install OCaml development files

[Nicolas Braud-Santoni]

This is an automated email from the git hooks/post-receive script.

nicoo-guest pushed a commit to branch v1.6/master
in repository mathcomp.

commit e9b5b21321449e9894c88131c28d700320af8442
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Sat Jul 23 09:50:05 2016 -0400

    Install OCaml development files
---
 debian/libssreflect-ocaml-dev.install | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/libssreflect-ocaml-dev.install b/debian/libssreflect-ocaml-dev.install
index ca56461..2ed0ce1 100644
--- a/debian/libssreflect-ocaml-dev.install
+++ b/debian/libssreflect-ocaml-dev.install
@@ -1 +1,4 @@
 usr/lib/coq/user-contrib/mathcomp/ss*.cmi
+
+mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4   usr/lib/coq/user-contrib/mathcomp/
+mathcomp/ssreflect/plugin/v8.5/ssrmatching.mli usr/lib/coq/user-contrib/mathcomp/

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/mathcomp.git