@name debug-z3-4.12.2p0
@version 10
@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.13
@depend math/z3:=:z3-4.12.2p0
@wantlib c++.9.0
@wantlib c++abi.6.0
@wantlib c.97.1
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha 8DcFNOfoq5YELlT2msfqGC67rXmiFsqB+GP1jn62bBw=
@size 180635952
@ts 1696641109
bin/.debug/
lib/.debug/libz3.so.4.0.dbg
@sha ALLr1mIcPI7PSSplMAvBXVzSXePiGhYwIC5jwSix7QU=
@size 180154088
@ts 1696641123
lib/.debug/
