Hi everybody, the last release, 1.5.4, didn't have the correct library versioning. This release fixes the problem. GiNaC 1.5.5 is out and available. The changes are: * Correct libtool versioning. As always, this release can be downloaded from http://www.ginac.de/Download.html Best wishes, Jens