@name php72-gmp-7.2.34_0
@portname php72-gmp
@portepoch 2
@portversion 7.2.34
@portrevision 0
@archs arm64
@pkgdep gmp-6.2.1_0
@pkgdep php72-7.2.34_3
@pkgdep openssl11-1.1.1l_5
opt/local/lib/php72/extensions/no-debug-non-zts-20170718/gmp.so
@comment MD5:d2197c9ddd8b047ebcf6bcee753b5979
@comment binary:1
opt/local/var/db/php72/gmp.ini
@comment MD5:5f6bfc041dace0c422fcd0183ae72157
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
