@name debug-z3-4.16.0
@version 16
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+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 +3PaOK9nLyQm/qwkNfBDkz31kciiFa+f+YmCvJm3Hhc=
@size 234848864
@ts 1780470457
bin/.debug/
lib/.debug/libz3.so.4.16.dbg
@sha Ek60bARt3dK8ZIUlt2Ifaz+bueGbqTYEE5L2f89oovg=
@size 234270656
@ts 1780470512
lib/.debug/
