[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: lib-dev package breaks/replaces alt-ergo in versions before package split

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository alt-ergo.

commit 4cb6613bb6aecedfda52640661ac1c493c09d5ab
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Aug 24 10:57:09 2013 +0200

    lib-dev package breaks/replaces alt-ergo in versions before package split
---
 debian/changelog |    8 ++++++++
 debian/control   |    2 ++
 2 files changed, 10 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 959245b..01f03f2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+alt-ergo (0.95.1-3) unstable; urgency=low
+
+  * make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (<<
+    0.95.1-1) to resolve file conflict with versions of the package before
+    the split into two binary packages (closes: #718010).
+
+ -- Ralf Treinen <treinen at debian.org>  Sat, 24 Aug 2013 10:56:21 +0200
+
 alt-ergo (0.95.1-2) unstable; urgency=low
 
   * upload to unstable
diff --git a/debian/control b/debian/control
index ab4407c..ebab6f6 100644
--- a/debian/control
+++ b/debian/control
@@ -40,6 +40,8 @@ Package: libalt-ergo-ocaml-dev
 Section: ocaml
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}
+Breaks: alt-ergo (<< 0.95.1-1)
+Replaces: alt-ergo (<< 0.95.1-1)
 Suggests: why
 Description: Theorem prover dedicated to program verification - libraries
  Alt-Ergo is an automatic theorem prover geared towards application in

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git