@name php52-gmp-5.2.17_0
@portname php52-gmp
@portepoch 0
@portversion 5.2.17
@portrevision 0
@archs x86_64
@pkgdep gmp-6.1.2_1
@pkgdep php52-5.2.17_12
opt/local/lib/php52/extensions/no-debug-non-zts-20060613/gmp.so
@comment MD5:67cef7cfa561bf1e444eaf5458ebc2f3
opt/local/var/db/php52/gmp.ini
@comment MD5:07948a3f2ab7322b0cfeb434f7326797
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
