Add files from parent branch HEAD:
[pkgsrc.git] / devel / php-gmp /
drwxr-xr-x   ..
-rw-r--r-- 144 DESCR
-rw-r--r-- 386 Makefile