@name debug-z3-4.13.4
@version 11
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha rbNI8XJ1jzF20vV8Vf5fVZHfMERGo1lHFnLFx35PdTo=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.13.4
@wantlib c++.10.0
@wantlib c++abi.7.0
@wantlib c.100.3
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha jlu/GaQa+e2ee6iDfACui9wDUODr7AU+kXjsrvbo0nE=
@size 231313064
@ts 1739451472
bin/.debug/
lib/.debug/libz3.so.4.13.dbg
@sha l0dCRhpB9SYvi5xWr8WnbQyJK4ez244PIklUQWw2kiw=
@size 230730104
@ts 1739451613
lib/.debug/
