synced to 1.1
[ginac.git] / debian / dirs
1 usr/lib