summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-07-01 17:40:05 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2010-07-01 17:40:05 +0200
commit54435822d5fa28d29a4c2f6026ef43790b83e9ae (patch)
treef0786f51930e3515bec4310f15ea4070d01b32b3
parentca93c2ad1dedd8266ffe02104842dcecc38e425b (diff)
Bump SV to 3.9.0
-rw-r--r--debian/control8
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/control b/debian/control
index 3542f0e7..1991f427 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
Stefano Zacchiroli <zack@debian.org>,
Samuel Mimram <smimram@debian.org>,
Stéphane Glondu <glondu@debian.org>
-Standards-Version: 3.8.4
+Standards-Version: 3.9.0
Build-Depends:
debhelper (>= 7.2.11~),
dh-ocaml (>= 0.9~),
@@ -39,7 +39,7 @@ Suggests:
libcoq-ocaml-dev,
why (>= 2.19),
coq-doc
-Conflicts: coq-libs
+Breaks: coq-libs
Replaces: coq-libs
Description: proof assistant for higher-order logic (toplevel and compiler)
Coq is a proof assistant for higher-order logic, which allows the
@@ -72,7 +72,7 @@ Package: coq-theories
Architecture: all
Depends: coq-${F:CoqABI}, ${misc:Depends}
Recommends: coq (>= 8.0)
-Conflicts: coq-doc (<= 8.0pl1.0-2), coq-libs
+Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs
Replaces: coq-libs
Description: proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
@@ -91,7 +91,7 @@ Depends:
${shlibs:Depends},
${misc:Depends}
Provides: ${ocaml:Provides}
-Conflicts: coq (<< 8.2-1+dfsg-1), coq-libs
+Breaks: coq (<< 8.2-1+dfsg-1), coq-libs
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs
Description: development libraries and tools for Coq
Coq is a proof assistant for higher-order logic, which allows the