@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.0_1
@pkgdep php52-5.2.17_11
opt/local/lib/php52/extensions/no-debug-non-zts-20060613/gmp.so
@comment MD5:7ab64db372fbc3a7be4a4a4e1362aeac
opt/local/var/db/php52/gmp.ini
@comment MD5:07948a3f2ab7322b0cfeb434f7326797
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
