[ompl] 11/18: Rename package due soname bump

[Leopold Palomo-Avellaneda]

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

lepalom-guest pushed a commit to branch master
in repository ompl.

commit b33b97a0e24b185be9b0adb2a606c5cc8d722a0f
Author: Leopold Palomo-Avellaneda <leo at alaxarxa.net>
Date:   Fri Jan 27 15:19:09 2017 +0100

    Rename package due soname bump
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index b1c6ed9..1819d0b 100644
--- a/debian/control
+++ b/debian/control
@@ -25,7 +25,7 @@ Package: libompl-dev
 Multi-Arch: same
 Architecture: any
 Section: libdevel
-Depends: libompl11 (= ${binary:Version}),
+Depends: libompl12 (= ${binary:Version}),
          pkg-config,
          ${misc:Depends},
          libboost-dev

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