@name debug-z3-4.12.2p0
@version 12
@comment pkgpath=debug/math/z3 ftp=yes
@arch amd64
+DESC
@sha lr7LvAolxhjMXa5cnf1CUuzjUBdzEUN1QMYBppNhW2w=
@size 146
@conflict debug-py3-z3-solver-*
@depend lang/python/3.10,-main:python->=3.10,<3.11:python-3.10.13p0
@depend math/z3:=:z3-4.12.2p0
@wantlib c++.10.0
@wantlib c++abi.7.0
@wantlib c.99.0
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha P3tK8/MtZ/kq9PfKCQTAMenWRf7A1RkC7/s9c7DGGDw=
@size 186090560
@ts 1710618155
bin/.debug/
lib/.debug/libz3.so.4.0.dbg
@sha n/mH9uwcqpg/h1IadXWNOAciNmgOxK5MIDi0XmQEdjw=
@size 185522104
@ts 1710618169
lib/.debug/
