According to the debian changelog, php5-gmp is introduced in 5.2.4-1,
which should land in hardy, once it gets merged (bug 176011).
The request for readline/libedit support in php5-cli is bug 124846.
I suggest creating a new bug for each other extension you want to have
available as a package.
Apart from that, it's quite easy to build an extension yourself, e.g. by
manually building it (phpize; configure; make) or changing the php5 source
package before building it from source.
I'm marking this bug as invalid, because it is confusing. As said, a
separate bug should get filed per extension (if not available already).
Thank you.
** Changed in: php5 (Ubuntu)
Status: Confirmed => Invalid
--
RFE: Add more php5 extensions (like php5-gmp)
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
