@name vampire-4.9_0
@portname vampire
@portepoch 1
@portversion 4.9
@portrevision 0
@archs arm64
@macports_version 2.11.5
@os.subplatform macosx
@os.version 25.0.0
@macos_version 26.0
@xcodecltversion 26.0.0.0.1.1757719676
@ports_commit 8b2fa614a237460d3437606f0374b6a692424d0d
@source_date_epoch 1757073515
opt/local/bin/vampire
@comment MD5:ca33f483bbc50d7889c4398bc45de85c
@comment binary:1
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
