@name debug-z3-4.15.2
@version 13
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+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 yrhWqYcPU+LHDpM5Nzwec0Wtd/n7Woglm97IyzB3nc4=
@size 236389136
@ts 1754176157
bin/.debug/
lib/.debug/libz3.so.4.15.dbg
@sha G6LBehDB99VhW+m2SSXSjfi0ya+QxatVikWFPkSd6/4=
@size 235721432
@ts 1754176230
lib/.debug/
