[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-22-g0edbd67

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 66a68f2af68eded56ab12237b01f273dd5644b12
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 27 13:25:56 2009 +0100

    Add dependency on liblablgtk2-ocaml

diff --git a/debian/changelog b/debian/changelog
index 6e0286e..6148715 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,10 @@ coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
   * Remove dependency on dpatch
   * Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
     (Closes: #517107)
+  * Add missing dependency for coqide.byte (no longer compiled in
+    custom mode): liblablgtk2-ocaml
 
- -- Stephane Glondu <steph at glondu.net>  Thu, 26 Feb 2009 19:09:28 +0100
+ -- Stephane Glondu <steph at glondu.net>  Fri, 27 Feb 2009 13:23:43 +0100
 
 coq (8.2~rc2+dfsg-3) experimental; urgency=low
 
diff --git a/debian/control b/debian/control
index 882e4c6..8d50739 100644
--- a/debian/control
+++ b/debian/control
@@ -61,6 +61,7 @@ Depends:
  ${shlibs:Depends},
  coq (= ${binary:Version}),
  ocaml-base-nox-${F:OCamlABI},
+ liblablgtk2-ocaml,
  ${misc:Depends}
 Description: proof assistant for higher-order logic (gtk interface)
  Coq is a proof assistant for higher-order logic, which allows the

-- 
coq packaging