@cwd /usr/pkg
@pkgcfl z3-[0-9]*
@name py27-z3solver-4.8.9.0nb2
@blddep py27-setuptools-44.1.1
@pkgdep py27-setuptools-[0-9]*
@blddep python27-2.7.18nb10
@pkgdep python27>=2.7.1nb2
@blddep digest-20220214
@comment $NetBSD: PLIST,v 1.2 2020/09/18 05:00:48 khorben Exp $
bin/z3
@comment MD5:29009b4b85c2d013af9d5f9b5a80b35a
lib/python2.7/site-packages/z3/__init__.py
@comment MD5:8bf482452269c7a2ddd86a728dde4604
lib/python2.7/site-packages/z3/__init__.pyc
@comment MD5:0fe18e0a073b8b644834a0faaf7121e2
lib/python2.7/site-packages/z3/__init__.pyo
@comment MD5:0fe18e0a073b8b644834a0faaf7121e2
lib/python2.7/site-packages/z3/include/api_ast_map.h
@comment MD5:c41258f5c4ca01fcbb3bca5d9a06a04a
lib/python2.7/site-packages/z3/include/api_ast_vector.h
@comment MD5:82c43392a113829d24f01a545910e0d6
lib/python2.7/site-packages/z3/include/api_context.h
@comment MD5:086de1e756d4c16ed5ecf3c48df847a6
lib/python2.7/site-packages/z3/include/api_datalog.h
@comment MD5:99cca0534b5ff8817f4a1d2866824ffb
lib/python2.7/site-packages/z3/include/api_goal.h
@comment MD5:9b9c712ad87c24d4c7f7f1d584b54e75
lib/python2.7/site-packages/z3/include/api_log_macros.h
@comment MD5:1b4bd04089898986d165caaaccf5a7bf
lib/python2.7/site-packages/z3/include/api_model.h
@comment MD5:bbe1322e185f8883fff8038a24c586b0
lib/python2.7/site-packages/z3/include/api_polynomial.h
@comment MD5:cb1d761883b96828f9e2e7ee0e9f100f
lib/python2.7/site-packages/z3/include/api_solver.h
@comment MD5:40421432f644674bafa2cf4a46750068
lib/python2.7/site-packages/z3/include/api_stats.h
@comment MD5:93b02a8a43f075661e6b87bfd8966ae0
lib/python2.7/site-packages/z3/include/api_tactic.h
@comment MD5:c895a61634b44e01abc3fac7f8da35f2
lib/python2.7/site-packages/z3/include/api_util.h
@comment MD5:3e6e1c566d800d489f633df7f32fcfc2
lib/python2.7/site-packages/z3/include/z3++.h
@comment MD5:c8e25b6e743c1e172328ffd2bfe0ccd5
lib/python2.7/site-packages/z3/include/z3.h
@comment MD5:4989b735983241c8608f8a2d06b6c382
lib/python2.7/site-packages/z3/include/z3_algebraic.h
@comment MD5:2882a94e6466b01993c5c665e47195d1
lib/python2.7/site-packages/z3/include/z3_api.h
@comment MD5:59849aa5339d111d83d9494dbf416ac8
lib/python2.7/site-packages/z3/include/z3_ast_containers.h
@comment MD5:6acc97b069965281de022bcad05c089b
lib/python2.7/site-packages/z3/include/z3_fixedpoint.h
@comment MD5:153947c68aa154723923d434c1beafa2
lib/python2.7/site-packages/z3/include/z3_fpa.h
@comment MD5:95a6b089ad06c3e8c83b025735e3472f
lib/python2.7/site-packages/z3/include/z3_logger.h
@comment MD5:1dc8ce346aa3c83caa0dd105f4908ed8
lib/python2.7/site-packages/z3/include/z3_macros.h
@comment MD5:d7f161bbbd9e2433abacde8da0650928
lib/python2.7/site-packages/z3/include/z3_optimization.h
@comment MD5:328453a004ccb1a292a671abf16be025
lib/python2.7/site-packages/z3/include/z3_polynomial.h
@comment MD5:f6cbc35f4c40c9a3fc0470b14911c613
lib/python2.7/site-packages/z3/include/z3_private.h
@comment MD5:970848456fb993c75a2d5a6bc623e7dc
lib/python2.7/site-packages/z3/include/z3_rcf.h
@comment MD5:6934524bb5efb3e5628cf13a7b9d80e4
lib/python2.7/site-packages/z3/include/z3_replayer.h
@comment MD5:9ac950089286d398853ded1777732364
lib/python2.7/site-packages/z3/include/z3_spacer.h
@comment MD5:d318a14f26a36cd3a2d9e0ec53d5d5c1
lib/python2.7/site-packages/z3/include/z3_v1.h
@comment MD5:360f604e9d1489b610ad7b43bebac588
lib/python2.7/site-packages/z3/lib/libz3.so
@comment MD5:ccd78c5639b8cecfc0ca99f22040a3cb
lib/python2.7/site-packages/z3/z3.py
@comment MD5:de0543031cfa8ea078ee8622d3a988ce
lib/python2.7/site-packages/z3/z3.pyc
@comment MD5:e88384ce8bb65cf76fe4e96e57ba0e84
lib/python2.7/site-packages/z3/z3.pyo
@comment MD5:e860c0a43a493e5e41d01136f13f0c44
lib/python2.7/site-packages/z3/z3consts.py
@comment MD5:be30445f154dc219eed0437e9d701de9
lib/python2.7/site-packages/z3/z3consts.pyc
@comment MD5:8d4ef85a33f0b77d64012654362ffa9f
lib/python2.7/site-packages/z3/z3consts.pyo
@comment MD5:8d4ef85a33f0b77d64012654362ffa9f
lib/python2.7/site-packages/z3/z3core.py
@comment MD5:63be3c01210b2ff3f8bf585d32e085d3
lib/python2.7/site-packages/z3/z3core.pyc
@comment MD5:f5d0acdb83956a120c6b44f2bacfacfd
lib/python2.7/site-packages/z3/z3core.pyo
@comment MD5:f5d0acdb83956a120c6b44f2bacfacfd
lib/python2.7/site-packages/z3/z3num.py
@comment MD5:5e0b7ec587a37cc7b4900cb7d6caaf0b
lib/python2.7/site-packages/z3/z3num.pyc
@comment MD5:4fef557377ba4ce9769ffa5814b40fbf
lib/python2.7/site-packages/z3/z3num.pyo
@comment MD5:810ee0e801dc0b543c189bae8f7f25fe
lib/python2.7/site-packages/z3/z3poly.py
@comment MD5:5dacc8d87e832fc60c6fa57acd9df67c
lib/python2.7/site-packages/z3/z3poly.pyc
@comment MD5:0317608d327bf3d5428067047e63223f
lib/python2.7/site-packages/z3/z3poly.pyo
@comment MD5:0317608d327bf3d5428067047e63223f
lib/python2.7/site-packages/z3/z3printer.py
@comment MD5:78f3fe06f9074b7c7885f793f8152d43
lib/python2.7/site-packages/z3/z3printer.pyc
@comment MD5:1cce513107ff6a85c8a78fdbd02fa30e
lib/python2.7/site-packages/z3/z3printer.pyo
@comment MD5:628b16a8e661110d528c5dee57fdf551
lib/python2.7/site-packages/z3/z3rcf.py
@comment MD5:4e4180d817ce5a8708302dfe316d6741
lib/python2.7/site-packages/z3/z3rcf.pyc
@comment MD5:239d6e744e8c7f8afa62e7c355e0ffa9
lib/python2.7/site-packages/z3/z3rcf.pyo
@comment MD5:239d6e744e8c7f8afa62e7c355e0ffa9
lib/python2.7/site-packages/z3/z3types.py
@comment MD5:4eba3fd037a60be7d7ca9a49619ca0b2
lib/python2.7/site-packages/z3/z3types.pyc
@comment MD5:72b972424445ebdb48000e12c38c7b43
lib/python2.7/site-packages/z3/z3types.pyo
@comment MD5:72b972424445ebdb48000e12c38c7b43
lib/python2.7/site-packages/z3/z3util.py
@comment MD5:48b567a6fdb72cfa70a67f9e5539258c
lib/python2.7/site-packages/z3/z3util.pyc
@comment MD5:13cd1e8a1cc0622cba8b47571de8dfff
lib/python2.7/site-packages/z3/z3util.pyo
@comment MD5:974444086cb40349de4eb4ddc271d5cc
lib/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info/PKG-INFO
@comment MD5:ab70ad339b6e01a3c810949451a99cb3
lib/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info/SOURCES.txt
@comment MD5:10daa5592936843c7a2cced7f8e7f2b2
lib/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info/dependency_links.txt
@comment MD5:68b329da9893e34099c7d8ad5cb9c940
lib/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info/top_level.txt
@comment MD5:808ad84ee61d8c19a834207ba93e7db8
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
