@name debug-z3-4.16.0p0
@version 17
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha ORkw8zi8HTq+Skhfr1J2p05p1b0Cva+y9rdah9JEAf0=
@size 133
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.16.0p0
@wantlib c++.12.0
@wantlib c++abi.9.0
@wantlib c.103.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha +3PaOK9nLyQm/qwkNfBDkz31kciiFa+f+YmCvJm3Hhc=
@size 234848864
@ts 1781509805
bin/.debug/
lib/.debug/libz3.so.4.16.dbg
@sha Ek60bARt3dK8ZIUlt2Ifaz+bueGbqTYEE5L2f89oovg=
@size 234270656
@ts 1781509876
lib/.debug/
