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