]> www.ginac.de Git - ginac.git/blob - debian/dirs
* Just for the record: this is what has been used for building.
[ginac.git] / debian / dirs
1 usr/lib