|
14 years ago | |
---|---|---|
.. | ||
Config.ext | eb8390d66f php: libgmp was renamed to gmp | 14 years ago |
Config.in | fcdc9f891d php: make sure either CLI or CGI is selected | 15 years ago |
php-5.2.16-fix-build-when-__GMP_BITS_PER_MP_LIMB-is-not-defined.patch | 6527001c9d php: fix gmp extension build after libgmp bump | 14 years ago |
php.mk | b3395489fe php: security bump to 5.2.17 | 14 years ago |