@name picosat-965_0
@portname picosat
@portepoch 0
@portversion 965
@portrevision 0
@archs arm64
@macports_version 2.12.6
@os.subplatform macosx
@os.version 27.0.0
@macos_version 27.0
@xcodecltversion 27.0.0.0.1788430756
@ports_commit 5e30c5b92036ff916062afc3664ed065ae7eaa4b
@source_date_epoch 1551541118
opt/local/bin/picogcnf
@comment MD5:a6df450719257f8cc6215c39b5f52fcb
@comment binary:1
opt/local/bin/picomcs
@comment MD5:43c9ad727d558644c6e89bb22369f477
@comment binary:1
opt/local/bin/picomus
@comment MD5:35e03f7a2f59eab8f53004de282a1f3c
@comment binary:1
opt/local/bin/picosat
@comment MD5:c86f473091cc3f223317cfc3f0e5a800
@comment binary:1
opt/local/include/picosat.h
@comment MD5:ca6b9e56bce8c28e75aa6ca6c3a0ad11
@comment binary:0
opt/local/lib/libpicosat.a
@comment MD5:ce504eb8349fc564379f18dee1c66560
@comment binary:0
opt/local/share/doc/picosat/LICENSE
@comment MD5:8c63346dfb42f675ebcf8282e40d1c57
@comment binary:0
opt/local/share/doc/picosat/NEWS
@comment MD5:627bf9076e462da3c87496c11e5cf798
@comment binary:0
opt/local/share/doc/picosat/README
@comment MD5:345afbb462275e4e973bbc2cd1afdb0e
@comment binary:0
opt/local/share/doc/picosat/VERSION
@comment MD5:26b4cf8505fd41fc066d5ddc74ba6aaa
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
