]> www.ginac.de Git - ginac.git/blobdiff - debian/libginac-dev.files
* Now this four-package split-up is gonna get in. Promised.
[ginac.git] / debian / libginac-dev.files
diff --git a/debian/libginac-dev.files b/debian/libginac-dev.files
new file mode 100644 (file)
index 0000000..619558f
--- /dev/null
@@ -0,0 +1,8 @@
+usr/lib/libginac.la
+usr/lib/libginac.a
+usr/lib/libginac.so
+usr/include/ginac
+usr/bin/ginac-config
+usr/share/man/man1/ginac-config*
+usr/share/info
+usr/share/aclocal/ginac.m4