619558f7c6753e2bd0cfeffc071b1c00e0fc3dbb
[ginac.git] / debian / libginac-dev.files
1 usr/lib/libginac.la
2 usr/lib/libginac.a
3 usr/lib/libginac.so
4 usr/include/ginac
5 usr/bin/ginac-config
6 usr/share/man/man1/ginac-config*
7 usr/share/info
8 usr/share/aclocal/ginac.m4