@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:5c996a856f4213f5024a0e5085db8e27
@comment binary:1
opt/local/bin/polyc
@comment MD5:6cd74edbbc52a3e393fd23dccb1d5156
@comment binary:0
opt/local/bin/polyimport
@comment MD5:151c88b0221d38e653b7b16b4560bd56
@comment binary:1
opt/local/lib/libpolymain.a
@comment MD5:0848f5d344b20981aea482bc46a9699c
@comment binary:0
opt/local/lib/libpolyml.14.dylib
@comment MD5:2e34aa66fe763a4992664ff81c7ece48
@comment binary:1
opt/local/lib/libpolyml.a
@comment MD5:4f5eb04eb812c9ad0428ab08abc90d68
@comment binary:0
opt/local/lib/libpolyml.dylib
@comment MD5:2e34aa66fe763a4992664ff81c7ece48
@comment binary:0
opt/local/lib/pkgconfig/polyml.pc
@comment MD5:5adad9896012db988db2bc3ba8e2c858
@comment binary:0
opt/local/lib/polyml/modules/IntInfAsInt
@comment MD5:91302597fa87ecd7d36b969560f1af8e
@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
