@name debug-z3-4.15.2
@version 14
@comment pkgpath=debug/math/z3 ftp=yes
@arch amd64
+DESC
@sha ve9j9nkdHUTiDcH44MZ+/+JrZ4VnIUr9zfQMhzqkQVQ=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.15.2
@wantlib c++.11.0
@wantlib c++abi.8.0
@wantlib c.101.0
@wantlib m.10.1
@wantlib pthread.28.0
@cwd /usr/local
bin/.debug/z3.dbg
@sha rryvHwZi9uFWDFUqxBEr0opGHZFP2E+AGStfnf9RokI=
@size 216746336
@ts 1754545119
bin/.debug/
lib/.debug/libz3.so.4.15.dbg
@sha gT42Rb7YkeA6zY2Z08rqebJebQ9OsX55AqS/Ny5WbS4=
@size 216128736
@ts 1754545140
lib/.debug/
