[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-2-5-g9b13712

[Stephane Glondu]

The following commit has been merged in the master branch:
commit b1e42d36d885c86876277483eb268232438b5877
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Dec 19 17:32:06 2009 +0100

    Add libssreflect-ocaml-dev binary package

diff --git a/debian/control b/debian/control
index 32c93da..97f54ac 100644
--- a/debian/control
+++ b/debian/control
@@ -30,6 +30,21 @@ Description: small scale reflection extension for Coq (plugin)
  independent from the "reflection" proof style. It is implemented as a
  linkable extension to the Coq system.
 
+Package: libssreflect-ocaml-dev
+Section: ocaml
+Architecture: any
+Depends:
+ ${ocaml:Depends},
+ ${shlibs:Depends},
+ ${misc:Depends}
+Replaces: libssreflect-ocaml (<< 1.2+dfsg-3~)
+Conflicts: libssreflect-ocaml (<< 1.2+dfsg-3~)
+Provides: ${ocaml:Provides}
+Description: small scale reflection extension for Coq (devt files)
+ This package is part of Ssreflect, the small scale reflection
+ extension for Coq. It provides the static native-code library, needed
+ to build custom toplevels, and the compiled interface.
+
 Package: libssreflect-coq
 Architecture: all
 Depends:
diff --git a/debian/libssreflect-ocaml-dev.install.in b/debian/libssreflect-ocaml-dev.install.in
new file mode 100644
index 0000000..c695c1f
--- /dev/null
+++ b/debian/libssreflect-ocaml-dev.install.in
@@ -0,0 +1,3 @@
+src/ssreflect.cmi        usr/lib/coq/user-contrib/Ssreflect
+OPT: src/ssreflect.cmx   usr/lib/coq/user-contrib/Ssreflect
+OPT: src/ssreflect.o     usr/lib/coq/user-contrib/Ssreflect
diff --git a/debian/libssreflect-ocaml.install.in b/debian/libssreflect-ocaml.install.in
index d3e146c..ad7026b 100644
--- a/debian/libssreflect-ocaml.install.in
+++ b/debian/libssreflect-ocaml.install.in
@@ -1,3 +1,2 @@
-src/ssreflect.cmi usr/lib/coq/user-contrib/Ssreflect
-src/ssreflect.cmo usr/lib/coq/user-contrib/Ssreflect
-OPT: src/ssreflect.cmxs usr/lib/coq/user-contrib/Ssreflect
+src/ssreflect.cmo         usr/lib/coq/user-contrib/Ssreflect
+OPT: src/ssreflect.cmxs   usr/lib/coq/user-contrib/Ssreflect

-- 
ssreflect packaging