@name debug-z3-4.16.0
@version 17
@comment pkgpath=debug/math/z3 ftp=yes
@arch amd64
+DESC
@sha LUYzq965Aeq0pE65neQAKqK/Mwa/qUC/hzEjzxSH8ao=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.16.0
@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 hZaHe4qtzWjKG/MLhX7uNNm2wDr62Gktl9XDdB9wcas=
@size 217116360
@ts 1780272055
bin/.debug/
lib/.debug/libz3.so.4.16.dbg
@sha 67eJg4S3xOx8/7jRm+nFVX06hUB7SQV89Juwd0Ha2Cs=
@size 216572232
@ts 1780272079
lib/.debug/
