* Preliminar update over Debian's ginac_1.1.3-1.diff.gz.
[ginac.git] / debian / shlibs
1 libginac-1.2    0       libginac1.2 (>= 1.2.0)