[cvc4] 07/10: Adjust package names to match sonames

[Fabian Wolff]

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

fw-guest pushed a commit to branch master
in repository cvc4.

commit 40ec7e2f1bb60b76dafaee02038bb652092d983e
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Jul 11 21:09:53 2017 +0200

    Adjust package names to match sonames
---
 debian/control | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/debian/control b/debian/control
index 891eda9..e5ecc64 100644
--- a/debian/control
+++ b/debian/control
@@ -19,8 +19,8 @@ Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/cvc4.git
 
 Package: cvc4
 Architecture: any
-Depends: libcvc4-3 (= ${binary:Version}),
-         libcvc4parser3 (= ${binary:Version}),
+Depends: libcvc4-4 (= ${binary:Version}),
+         libcvc4parser4 (= ${binary:Version}),
          ${shlibs:Depends},
          ${misc:Depends}
 Description: automated theorem prover for SMT problems
@@ -41,8 +41,8 @@ Description: automated theorem prover for SMT problems
 Package: libcvc4-dev
 Architecture: any
 Section: libdevel
-Depends: libcvc4-3 (= ${binary:Version}),
-         libcvc4parser3 (= ${binary:Version}),
+Depends: libcvc4-4 (= ${binary:Version}),
+         libcvc4parser4 (= ${binary:Version}),
          ${shlibs:Depends},
          ${misc:Depends}
 Description: automated theorem prover for SMT problems (development files)
@@ -60,7 +60,7 @@ Description: automated theorem prover for SMT problems (development files)
  This package contains development files for CVC4. Install it if you
  want to develop applications that use CVC4's API.
 
-Package: libcvc4-3
+Package: libcvc4-4
 Architecture: any
 Section: libs
 Depends: ${shlibs:Depends},
@@ -79,7 +79,7 @@ Description: automated theorem prover for SMT problems (runtime)
  .
  This package contains CVC4's runtime shared libraries.
 
-Package: libcvc4parser3
+Package: libcvc4parser4
 Architecture: any
 Section: libs
 Depends: ${shlibs:Depends},

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git