From f66d1a48ed27e53ac4a68f916edf259f610c0b2e Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 3 Jun 2010 11:55:35 +0200
Subject: Install plugins in (new) binary package libcoq-ocaml

---
 debian/control | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

(limited to 'debian/control')

diff --git a/debian/control b/debian/control
index b3db1413..5aed7fc3 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Uploaders:
 Standards-Version: 3.9.0
 Build-Depends:
  debhelper (>= 7.2.11~),
- dh-ocaml (>= 0.9~),
+ dh-ocaml (>= 0.9.5~),
  ocaml-nox (>= 3.11.1-3~),
  ocaml-best-compilers,
  camlp5 (>= 5.12-2~),
@@ -80,6 +80,23 @@ Description: proof assistant for higher-order logic (theories)
  This package provides existing theories that new proofs can be
  based upon, including theories of arithmetic and Boolean values.
 
+Package: libcoq-ocaml
+Section: ocaml
+Architecture: any
+Depends:
+ ${ocaml:Depends},
+ ${shlibs:Depends},
+ ${misc:Depends}
+Provides: ${ocaml:Provides}
+Breaks: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
+Replaces: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
+Description: runtime libraries for Coq
+ Coq is a proof assistant for higher-order logic, which allows the
+ development of computer programs consistent with their formal
+ specification. It is developed using Objective Caml and Camlp5.
+ .
+ This package provides runtime libraries for Coq.
+
 Package: libcoq-ocaml-dev
 Section: ocaml
 Architecture: any
-- 
cgit v1.2.3