@name debug-z3-4.16.0
@version 15
@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 ztw8dydaogp9Zs2OW39nJnaKbuGgy4S74crLc4P4BeU=
@size 235499368
@ts 1777262448
bin/.debug/
lib/.debug/libz3.so.4.16.dbg
@sha nlIOnXNwfM4Heu6O4Ra0+9lV/kF/N5r6gwF3LHjom4U=
@size 234932712
@ts 1777262512
lib/.debug/
