Updated Debian configuration [A.Sheplyakov].
[ginac.git] / debian / libginac-dev.install
1 debian/tmp/usr/lib/libginac.la
2 debian/tmp/usr/lib/libginac.a
3 debian/tmp/usr/lib/libginac.so
4 debian/tmp/usr/include/ginac/*
5 debian/tmp/usr/bin/ginac-config
6 debian/tmp/usr/share/aclocal/ginac.m4
7 debian/tmp/usr/lib/pkgconfig/ginac.pc
8 debian/tmp/usr/share/info/ginac*
9 debian/tmp/usr/share/man/man1/ginac-config*