@name debug-z3-4.15.4
@version 16
@comment pkgpath=debug/math/z3 ftp=yes
@arch amd64
+DESC
@sha dyztMHPSiCcqqJp0SYH48oCZJvfUK51wejXUbRi2mQU=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.15.4
@wantlib c++.12.0
@wantlib c++abi.9.0
@wantlib c.102.2
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha U8ZowlZFqIJfi/SRUlpACUH8/Jz5HYQvojHkV3PxqtY=
@size 211851424
@ts 1765711715
bin/.debug/
lib/.debug/libz3.so.4.15.dbg
@sha E7Y2OOf/JrrK1tJlm9kGvE2a1y0oVnga7HLdjF4RpRw=
@size 211326088
@ts 1765711738
lib/.debug/
