missing dep on libgmp3c2

[James Michael DuPont]

Hi,
I installed php5-librdf, and on the command line:
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php5/20090626+lfs/redland.so' - libgmp.so.3: cannot open shared object file: No such file or directory in Unknown on line 0

that file is here :
libgmp3c2: /usr/lib/libgmp.so.3
libgmp3c2: /usr/lib/libgmp.so.3.5.2

After I install libgmp3c2 the warning goes away.

mike

ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: php5-librdf 1.0.13.1-2build1
ProcVersionSignature: Ubuntu 3.2.0-30.48-generic-pae 3.2.27
Uname: Linux 3.2.0-30-generic-pae i686
NonfreeKernelModules: nvidia
ApportVersion: 2.0.1-0ubuntu13
Architecture: i386
Date: Fri Sep 21 07:57:00 2012
ProcEnviron:
 TERM=xterm
 SHELL=/bin/bash
 PATH=(custom, no user)
 LANG=C
 LANGUAGE=C
SourcePackage: redland-bindings
UpgradeStatus: No upgrade log present (probably fresh install)

[Julian Taylor (jtaylor)]

I can't reproduce the issue,
gmp is pulled by librasqal3 which should be linked against gmp.so.10 not .so.3
does it change when you reinstall: apt-get install --reinstall librasqual3

the output from this would also be useful
lddtree /usr/lib/php5/20090626+lfs/redland.so

(lddtree is in pax-utils)

[Launchpad Janitor (janitor)]

[Expired for redland-bindings (Ubuntu) because there has been no activity for 60 days.]