@name vampire-4.9_0
@portname vampire
@portepoch 1
@portversion 4.9
@portrevision 0
@archs arm64
opt/local/bin/vampire
@comment MD5:a7bd8179a73e11e14ea2f742b1bd2b85
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
