php: Update from 7.2.4 to 7.2.5
[termux-packages] / disabled-packages / pacman /
drwxr-xr-x   ..
-rw-r--r-- 2213 build.sh
-rw-r--r-- 2256 ensure-matching-database-and-package-version.patch
-rw-r--r-- 5817 makepkg.conf
-rw-r--r-- 2638 pacman.conf
-rw-r--r-- 472 pacman.patch