093956b17518f1129cbb4956eee3e4d422a5a5a9
[ginac.git] / debian / ginac.files
1 usr/lib/*.so.*