debian/tmp/usr/lib/libginac.la debian/tmp/usr/lib/libginac.a debian/tmp/usr/lib/libginac.so debian/tmp/usr/include/ginac/* debian/tmp/usr/bin/ginac-config debian/tmp/usr/share/aclocal/ginac.m4 debian/tmp/usr/lib/pkgconfig/ginac.pc debian/tmp/usr/share/info/ginac* debian/tmp/usr/share/man/man1/ginac-config*