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