As a workaround, can anyone advise on the correct way to manually compile and install the extensions? Is it possible to compile just the extra bits, without generating an entirely separate full install of PHP in /usr/local, and thereby losing the benefit of Ubuntu security updates etc?
-- php5-gmp package doesn't exist (nor do many other PHP extensions) https://bugs.launchpad.net/bugs/93603 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs