[gringo] 08/11: debian/gringo.links: add ldconfig symlinks for libclingo.so.1.0

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 9c0ad97d394f396500b2810d3ec4ffbf5a57f429
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Nov 1 14:22:02 2017 +0000

    debian/gringo.links: add ldconfig symlinks for libclingo.so.1.0
---
 debian/gringo.links | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/gringo.links b/debian/gringo.links
index 1f295db..cc992ee 100644
--- a/debian/gringo.links
+++ b/debian/gringo.links
@@ -1,4 +1,6 @@
 usr/bin/clingo usr/bin/iclingo
 usr/bin/clingo usr/bin/oclingo
+usr/lib/libclingo.so.1.0 usr/lib/libclingo.so.1
+usr/lib/libclingo.so.1 usr/lib/libclingo.so
 usr/share/man/man1/clingo.1 usr/share/man/man1/iclingo.1
 usr/share/man/man1/clingo.1 usr/share/man/man1/oclingo.1

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