php: libgmp was renamed to gmp
authorGustavo Zacarias <gustavo@zacarias.com.ar>
Mon, 6 Dec 2010 19:40:08 +0000 (16:40 -0300)
committerPeter Korsgaard <jacmet@sunsite.dk>
Mon, 27 Dec 2010 21:00:59 +0000 (22:00 +0100)
commiteb8390d66f487559828058a47414617632afb1f1
treea71d98825415a6aecd19c74277d2f449e13e968b
parent21f7b8bccec20702170d89ab662757945d9ffbe9
php: libgmp was renamed to gmp

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Acked-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
package/php/Config.ext
package/php/php.mk