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*