[cl-debian] Bug#411352: gcl does not launch if libgmp3c2 is not installed

[arno.]

Package: gcl
Version: 2.6.7-32
Severity: important

Right after installing gcl, it did not launch.
I got the following error:

/usr/lib/gcl-2.6.7/unixport/saved_gcl: error while loading shared
libraries: libgmp.so.3: cannot open shared object file: No such file or
directory

after installing libgmp3c2 package, gcl launches normally.

-- System Information:
Debian Release: 4.0
  APT prefers testing
  APT policy: (500, 'testing'), (500, 'stable')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.18-3-486
Locale: LANG=fr_FR at euro, LC_CTYPE=fr_FR at euro (charmap=ISO-8859-15)

Versions of packages gcl depends on:
ii  debconf [debconf-2.0]         1.5.11     Debian configuration management sy
ii  gcc                           4:4.1.1-15 The GNU C compiler

gcl recommends no packages.

-- debconf information:
* gcl/default_gcl_prof:
* gcl/default_gcl_ansi: