@name php72-jsmin-3.0.0_0
@portname php72-jsmin
@portepoch 0
@portversion 3.0.0
@portrevision 0
@archs x86_64
@pkgdep php72-7.2.10_0
opt/local/include/php72/php/ext/jsmin/php_jsmin.h
@comment MD5:1efd26cbe079fee159c74e6e7e7e8d58
@comment binary:0
opt/local/lib/php72/extensions/no-debug-non-zts-20170718/jsmin.so
@comment MD5:e8d3633240ee17ca848d02f645eeee71
@comment binary:1
opt/local/var/db/php72/jsmin.ini
@comment MD5:d917dd8b3dafd2d84b2f9894b2b91cca
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
