[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-6-12-g7a99898

[Stephane Glondu]

The following commit has been merged in the master branch:
commit a234eec290bfa77bd312bc949d6901edf502eef2
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 1 19:40:27 2010 +0200

    Fix a few warnings

diff --git a/debian/control b/debian/control
index 4b4d75e..b3db141 100644
--- a/debian/control
+++ b/debian/control
@@ -37,8 +37,8 @@ Suggests:
  libcoq-ocaml-dev,
  why (>= 2.19),
  coq-doc
-Breaks: coq-libs
-Replaces: coq-libs
+Breaks: coq-libs (<< 8.2.pl1)
+Replaces: coq-libs (<< 8.2.pl1)
 Description: proof assistant for higher-order logic (toplevel and compiler)
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
@@ -70,8 +70,8 @@ Package: coq-theories
 Architecture: all
 Depends: coq-${F:CoqABI}, ${misc:Depends}
 Recommends: coq (>= 8.0)
-Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs
-Replaces: coq-libs
+Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
+Replaces: coq-libs (<< 8.2.pl1)
 Description: proof assistant for higher-order logic (theories)
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
@@ -89,8 +89,8 @@ Depends:
  ${shlibs:Depends},
  ${misc:Depends}
 Provides: ${ocaml:Provides}
-Breaks: coq (<< 8.2-1+dfsg-1), coq-libs
-Replaces: coq (<< 8.2-1+dfsg-1), coq-libs
+Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
+Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
 Description: development libraries and tools for Coq
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal

-- 
coq packaging