[polyml] 08/10: Include IntInfAsInt module in libpolyml7

[James Clarke]

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

jrtc27 pushed a commit to branch debian/experimental
in repository polyml.

commit 6c11fd38738b619088d16dce94614d411ff16af7
Author: James Clarke <jrtc27 at debian.org>
Date:   Mon Mar 20 17:08:09 2017 +0000

    Include IntInfAsInt module in libpolyml7
---
 debian/libpolyml7.install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/libpolyml7.install b/debian/libpolyml7.install
index d81d8e3..22e85d8 100644
--- a/debian/libpolyml7.install
+++ b/debian/libpolyml7.install
@@ -1 +1,2 @@
 usr/lib/*/libpolyml.so.*
+usr/lib/*/polyml/modules/IntInfAsInt

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