@name polyml-5.9.1_0
@portname polyml
@portepoch 0
@portversion 5.9.1
@portrevision 0
@archs x86_64
@pkgdep gmp-6.3.0_0
opt/local/bin/poly
@comment MD5:45522571131a366a02a8c25ec0c203ca
@comment binary:1
opt/local/bin/polyc
@comment MD5:d6b7d4521e0efdfb3bf800b884af695b
@comment binary:0
opt/local/bin/polyimport
@comment MD5:5817702336fd3b7bb4256fb766a8f642
@comment binary:1
opt/local/lib/libpolymain.a
@comment MD5:b06e6b836cf8dfe640e4a7e991ca5d8d
@comment binary:0
opt/local/lib/libpolyml.14.dylib
@comment MD5:386f23896c16f263f4c4548b49155b4b
@comment binary:1
opt/local/lib/libpolyml.a
@comment MD5:20d25994499c2c2e2cdff8be0b536c33
@comment binary:0
opt/local/lib/libpolyml.dylib
@comment MD5:386f23896c16f263f4c4548b49155b4b
@comment binary:0
opt/local/lib/pkgconfig/polyml.pc
@comment MD5:5adad9896012db988db2bc3ba8e2c858
@comment binary:0
opt/local/lib/polyml/modules/IntInfAsInt
@comment MD5:a96dab082c05cd4da693255cb15a6055
@comment binary:0
opt/local/share/doc/polyml/COPYING
@comment MD5:4be85e9ecf68d525e30cbdd928a17bef
@comment binary:0
opt/local/share/man/man1/poly.1.gz
@comment MD5:4ad30f16fc4ccb70481043541c0a39cb
@comment binary:0
opt/local/share/man/man1/polyc.1.gz
@comment MD5:6fabecf5d772df92ac2e92276c94447f
@comment binary:0
opt/local/share/man/man1/polyimport.1.gz
@comment MD5:cdd9066084a52d39acf2b4ce32bce3ef
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
