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