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/ginac*
   8 usr/share/aclocal/ginac.m4