@name php52-gmp-5.2.17_0
@portname php52-gmp
@portepoch 0
@portversion 5.2.17
@portrevision 0
@archs i386
@pkgdep gmp-6.1.1_0
@pkgdep php52-5.2.17_11
opt/local/lib/php52/extensions/no-debug-non-zts-20060613/gmp.so
@comment MD5:7db08d1a274cca6f8343e54ceea482c7
opt/local/var/db/php52/gmp.ini
@comment MD5:07948a3f2ab7322b0cfeb434f7326797
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
