Update lang/php72 to version 7.2.4
[dports.git] / lang / seed7 /
drwxr-xr-x   ..
-rw-r--r-- 2491 Makefile
-rw-r--r-- 160 distinfo
-rw-r--r-- 885 pkg-descr
-rw-r--r-- 5654 pkg-plist