merging 1.2 branch into main trunk

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

diff --git a/debian/libginac1.1.dirs b/debian/libginac1.1.dirs
new file mode 100644 (file)
index 0000000..6845771
--- /dev/null
+++ b/debian/libginac1.1.dirs
@@ -0,0 +1 @@
+usr/lib