* Prepare for landing of version 0.7.3.
[ginac.git] / debian / dirs
1 usr/lib
2 usr/include/ginac
3 usr/share/man/man1