@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:b111f56848001f81fae7a6a7be8396e3
@comment binary:1
opt/local/bin/polyc
@comment MD5:d6b7d4521e0efdfb3bf800b884af695b
@comment binary:0
opt/local/bin/polyimport
@comment MD5:86b82dce4cd97059f52069bfc2371bde
@comment binary:1
opt/local/lib/libpolymain.a
@comment MD5:7ec4a027e4515a0c3e09aeab5c314355
@comment binary:0
opt/local/lib/libpolyml.14.dylib
@comment MD5:dd04fbb06b667d4bfefe0ccd0eeba8f5
@comment binary:1
opt/local/lib/libpolyml.a
@comment MD5:84191dd4a7544d7eb7609a45b837ed12
@comment binary:0
opt/local/lib/libpolyml.dylib
@comment MD5:dd04fbb06b667d4bfefe0ccd0eeba8f5
@comment binary:0
opt/local/lib/pkgconfig/polyml.pc
@comment MD5:5adad9896012db988db2bc3ba8e2c858
@comment binary:0
opt/local/lib/polyml/modules/IntInfAsInt
@comment MD5:a7fad2cf89c6cc5ad3bea02de1a7ccae
@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
