[polyml] 04/13: Rename libpolyml7 to libpolyml8 to reflect upstream soname bump

[James Clarke]

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

jrtc27 pushed a commit to branch master
in repository polyml.

commit 4546ddde9c2356748316e9b9944b225d7824d731
Author: James Clarke <jrtc27 at debian.org>
Date:   Thu Mar 23 12:03:01 2017 +0000

    Rename libpolyml7 to libpolyml8 to reflect upstream soname bump
---
 debian/control                                    | 4 ++--
 debian/{libpolyml7.install => libpolyml8.install} | 0
 debian/shlibs.local                               | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index af0f246..c8870cd 100644
--- a/debian/control
+++ b/debian/control
@@ -38,7 +38,7 @@ Section: libdevel
 Architecture: any
 Multi-Arch: same
 Depends:
- libpolyml7 (= ${binary:Version}),
+ libpolyml8 (= ${binary:Version}),
  ${misc:Depends},
 Description: development files for Poly/ML, a compiler for Standard ML
  Poly/ML is an implementation of the Standard ML programming language
@@ -50,7 +50,7 @@ Description: development files for Poly/ML, a compiler for Standard ML
  This package provides the files needed to compile stand-alone executables
  with Poly/ML.
 
-Package: libpolyml7
+Package: libpolyml8
 Section: libs
 Architecture: any
 Multi-Arch: same
diff --git a/debian/libpolyml7.install b/debian/libpolyml8.install
similarity index 100%
rename from debian/libpolyml7.install
rename to debian/libpolyml8.install
diff --git a/debian/shlibs.local b/debian/shlibs.local
index 4fb61e4..da9a81a 100644
--- a/debian/shlibs.local
+++ b/debian/shlibs.local
@@ -1 +1 @@
-libpolyml 7 libpolyml7 (>= 5.6)
+libpolyml 8 libpolyml8 (>= 5.7~20170322.git096d446)

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