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 <trei...@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 <trei...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits