@name debug-z3-4.15.7
@version 15
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha /GOjmy8UfSKoOPBGFk0o2rkx0lWzH+Tg3tZQfPyala8=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.15.7
@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 YOsMw0aHMKP9SaYjRL97sJ9gL5J7syC8lzDluIeg7Qs=
@size 235605368
@ts 1770802260
bin/.debug/
lib/.debug/libz3.so.4.16.dbg
@sha FN1V1LLbvqdkpTqLeTgw3Frmy4l/8ARs7BEj/lv2smI=
@size 235030336
@ts 1770802321
lib/.debug/
