summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-07-01 19:40:27 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2010-07-02 15:25:38 +0200
commita234eec290bfa77bd312bc949d6901edf502eef2 (patch)
treea633f4b1752e2f375daf4f274248cc3f1ca3aa00 /debian
parent280a2ce129daa351bc1993cb1a60ce7dd5801bd5 (diff)
Fix a few warnings
Diffstat (limited to 'debian')
-rw-r--r--debian/control12
1 files changed, 6 insertions, 6 deletions
diff --git a/debian/control b/debian/control
index 4b4d75e7..b3db1413 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