@name debug-z3-5.3.3
@version 20
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha gdm501s7krh9B8Nsn52dWDlMB4FWKXfE/RQ1eaxDQrA=
@size 130
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-5.3.3
@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/
bin/.debug/z3.dbg
@sha YXFv5Ws8GY3jdquqKxq2h6iYLAqoiml3HsRGWFZhTis=
@size 281502768
@ts 1794345809
lib/.debug/
lib/.debug/libz3.so.5.2.dbg
@sha 3XFZ9SEGHzvTCDVM2RvPn5/NCG8ivc61zL/VE4tj+mA=
@size 280957536
@ts 1794345883
