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@euro, LC_CTYPE=fr_FR@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: