@name debug-z3-5.3.0
@version 20
@comment pkgpath=debug/math/z3 ftp=yes
@arch amd64
+DESC
@sha e5azSR9u1vExL+Pgte5oudLmm+Mte48Oq4qwvNJyLEk=
@size 130
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-5.3.0
@wantlib c++.13.0
@wantlib c++abi.10.0
@wantlib c.104.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha QjzBQBLS+PzCj92O5rXR3gKEeNFzbOkxM8B3bUZpALE=
@size 245949760
@ts 1792096512
bin/.debug/
lib/.debug/libz3.so.5.1.dbg
@sha lT5KK6SOUSAcC841NShdW/YWSWBfpruSYj1tSDLz/QU=
@size 245397720
@ts 1792096542
lib/.debug/
