@name debug-z3-4.12.2p0
@version 10
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha lr7LvAolxhjMXa5cnf1CUuzjUBdzEUN1QMYBppNhW2w=
@size 146
@conflict debug-py3-z3-solver-*
@depend lang/python/3.10,-main:python->=3.10,<3.11:python-3.10.13
@depend math/z3:=:z3-4.12.2p0
@wantlib c++.9.0
@wantlib c++abi.6.0
@wantlib c.97.1
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha AhsW5QybhiiYMuz32DRDhKlOgcIBle8ox8T+p5wyk+0=
@size 200986960
@ts 1696925481
bin/.debug/
lib/.debug/libz3.so.4.0.dbg
@sha cwfbVXVW6dVu4lbDqhvmxZSZxNBB+ZBhfrPycIOKUZM=
@size 200504832
@ts 1696925521
lib/.debug/
