@name php73-gmp-7.3.33_0
@portname php73-gmp
@portepoch 2
@portversion 7.3.33
@portrevision 0
@archs i386
@pkgdep gmp-6.2.1_0
@pkgdep php73-7.3.33_0
@pkgdep libcxx-5.0.1_4
opt/local/include/php73/php/ext/gmp/php_gmp_int.h
@comment MD5:ec8d9b300c71cd2eb2069a0b9cfc5dd4
@comment binary:0
opt/local/lib/php73/extensions/no-debug-non-zts-20180731/gmp.so
@comment MD5:816e8d943fe874e3ff2c71b50fedfbe7
@comment binary:1
opt/local/var/db/php73/gmp.ini
@comment MD5:9529cad740252a2fba4abd58edabd6b5
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
