@name debug-z3-4.12.2p0
@version 11
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+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 sGtUQAP2E1ZosU8UvdYsDz6wzX3tOtu9mar2F0D2VBo=
@size 209231536
@ts 1711032101
bin/.debug/
lib/.debug/libz3.so.4.0.dbg
@sha 4tyntwVIJivbODKgXPEYDqMx9zGDzDHhGGb2a75Sa/k=
@size 208672696
@ts 1711032144
lib/.debug/
