- Added Cint 5.4.25 to the list of working Cints
[ginac.git] / debian / ginac.files
1 usr/lib/*.so.*