building in separate directory didn't work
[ginac.git] / debian / ginaccint.files
1 usr/bin/ginaccint*
2 usr/share/man/man1/ginaccint*