@name php80-gmp-8.0.30_0
@portname php80-gmp
@portepoch 2
@portversion 8.0.30
@portrevision 0
@archs x86_64
@pkgdep gmp-6.2.1_1
@pkgdep php80-8.0.30_0
opt/local/include/php80/php/ext/gmp/php_gmp_int.h
@comment MD5:6b445eacd0a5b9d42c395f6eac1c54aa
@comment binary:0
opt/local/lib/php80/extensions/no-debug-non-zts-20200930/gmp.so
@comment MD5:53dddd9ae052fdbbfee45b66a7efce04
@comment binary:1
opt/local/var/db/php80/gmp.ini
@comment MD5:eae2037d24106f088daa92ed81c5367e
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
