@name php71-gmp-7.1.33_0
@portname php71-gmp
@portepoch 2
@portversion 7.1.33
@portrevision 0
@archs i386
@pkgdep gmp-6.1.2_4
@pkgdep php71-7.1.33_0
@pkgdep libcxx-5.0.1_4
opt/local/lib/php71/extensions/no-debug-non-zts-20160303/gmp.so
@comment MD5:53b40e7a5f76eba48569adb80a175b26
@comment binary:1
opt/local/var/db/php71/gmp.ini
@comment MD5:d39ed0863e1fe116fc7aa456fb17485e
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
