merging 1.2 branch into main trunk

[ginac.git] / debian / libginac1.1.files

diff --git a/debian/libginac1.1.files b/debian/libginac1.1.files
new file mode 100644 (file)
index 0000000..9a5c1be
--- /dev/null
+++ b/debian/libginac1.1.files
@@ -0,0 +1 @@
+usr/lib/libginac*.so.*