@cwd /usr/pkg
@name cvc5-1.4.0
@blddep py313-pyparsing-3.3.2
@pkgdep py313-pyparsing>=3.0.9
@blddep gmp-6.3.0
@pkgdep gmp>=5.0.1
@blddep libpoly-0.2.1
@pkgdep libpoly>=0.2.1
@blddep mpfr-4.2.1
@pkgdep mpfr>=4.0.0
@blddep symfpu-1.2.0
@pkgdep symfpu>=1.2.0
@blddep digest-20220214
@blddep cmake-4.4.3
@blddep python313-3.13.15
@blddep mktools-20250213
@blddep git-base-2.55.0nb1
@blddep cwrappers-20220403
@blddep cadical-2.1.3
@comment $NetBSD: PLIST,v 1.1 2026/07/02 23:20:47 alnsn Exp $
bin/cvc5
@comment MD5:a038190c5cccd10f2a33a9db9c36e138
include/cvc5/c/cvc5.h
@comment MD5:3e743f96b81475af87bb67eaa3c85171
include/cvc5/c/cvc5_parser.h
@comment MD5:cc196554dc9f42d1546abacef02f6a29
include/cvc5/cvc5.h
@comment MD5:4f4c9bf19a427c1bccefdf672d489064
include/cvc5/cvc5_export.h
@comment MD5:8e9ccea6c2ea035a4fdcdd8043889e5a
include/cvc5/cvc5_kind.h
@comment MD5:dde28e47dc143b72bd78597bc4bc6a57
include/cvc5/cvc5_parser.h
@comment MD5:0a3aa5071a6632b64b4ece55a5ce7b87
include/cvc5/cvc5_proof_rule.h
@comment MD5:c0202b9b6c6c2be198f9f7191ffdbcfa
include/cvc5/cvc5_skolem_id.h
@comment MD5:476b2dff51a9e66a73d5de8e3f8e1ebb
include/cvc5/cvc5_types.h
@comment MD5:b32dae6bea9a8d1d3d9a5d79be59ef7d
lib/cmake/cvc5/cvc5Config.cmake
@comment MD5:12963577ffc9c475cd19591c92582bff
lib/cmake/cvc5/cvc5ConfigVersion.cmake
@comment MD5:52e07e8c9b6258d7cbcedf73a1f746ae
lib/cmake/cvc5/cvc5Targets-production.cmake
@comment MD5:45b45178b7a89b2acc0b6ae2060f15a9
lib/cmake/cvc5/cvc5Targets.cmake
@comment MD5:f638e03d3e4c237c9498fa8adc9eacc3
lib/libcvc5.so
@comment Symlink:libcvc5.so.1
lib/libcvc5.so.1
@comment Symlink:libcvc5.so.1.4.0
lib/libcvc5.so.1.4.0
@comment MD5:721ad15a0df4dbf6a53a9105861b1faf
lib/libcvc5parser.so
@comment Symlink:libcvc5parser.so.1
lib/libcvc5parser.so.1
@comment Symlink:libcvc5parser.so.1.4.0
lib/libcvc5parser.so.1.4.0
@comment MD5:35d376241a7218da76af4b480a37413a
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
