@name debug-z3-4.15.3
@version 13
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha gO+lOa/+vWot29JQi6Nta8zeLZkUoVzwPwEqpEIsNk0=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.15.3
@wantlib c++.12.0
@wantlib c++abi.9.0
@wantlib c.102.1
@wantlib m.10.1
@wantlib pthread.28.0
@cwd /usr/local
bin/.debug/z3.dbg
@sha Bzp5btAv1RtDy8SK4TBhiJUZ+ZWamddJBq/lzlVE+KA=
@size 229507224
@ts 1761423941
bin/.debug/
lib/.debug/libz3.so.4.15.dbg
@sha pGPETKeFpRg2V4Y0NHYVP90/KoNkKhUv4Yg4poIgxh8=
@size 229020080
@ts 1761423993
lib/.debug/
