|
hace 14 años | |
---|---|---|
.. | ||
Config.ext | eb8390d66f php: libgmp was renamed to gmp | hace 14 años |
Config.in | fcdc9f891d php: make sure either CLI or CGI is selected | hace 15 años |
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 | hace 14 años |
php.mk | 300f9c9c9d package: remove useless arguments from AUTOTARGETS | hace 14 años |