@name debug-z3-4.15.8
@version 15
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha MNYu+YpAb7tRfz/il/s+K5C8EAERDv10DYvbh+HpIr8=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.15.8
@wantlib c++.12.0
@wantlib c++abi.9.0
@wantlib c.102.2
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha M9vZBxf9msmZj5Q2OxuJ7il7dzmQEBRnIvFbbHU0Afg=
@size 235453272
@ts 1771641387
bin/.debug/
lib/.debug/libz3.so.4.16.dbg
@sha li2S0VGy8vkH25EQrvK10Zp1zII0JH6nXOHebsgoEAc=
@size 234881712
@ts 1771641446
lib/.debug/
