This is also causing problems with php's curl module and Virtualbox
PHP Warning: PHP Startup: Unable to load dynamic library
'/usr/lib/php5/20131226/curl.so' -
/usr/lib/x86_64-linux-gnu/libhogweed.so.2: undefined symbol:
__gmpn_cnd_sub_n in Unknown on line 0
and
VirtualBox: dlopen("/usr/lib/virtualbox/VBoxRT.so",) failed:
/usr/lib/x86_64-linux-gnu/libhogweed.so.2: undefined symbol:
__gmpn_cnd_sub_n
I'm running current testing.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
