@name debug-z3-4.13.0
@version 11
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha 7AHKEDXrabLxcywgFfe0gWpZbCAbflXvk+w9j7fbv0k=
@size 144
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.13.0
@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 g544yaTRVuAUTuMfv/D7RNYoN/Rqx5kZvXIn5TjcKV8=
@size 220213256
@ts 1727592681
bin/.debug/
lib/.debug/libz3.so.4.11.dbg
@sha bLEbHDurTJZ7T6cmiUQ6Uu5Vt2aBv6JBsXRxqao0sh0=
@size 219548208
@ts 1727592739
lib/.debug/
