@name debug-z3-4.14.1
@version 12
@comment pkgpath=debug/math/z3 ftp=yes
@arch amd64
+DESC
@sha 7uvR11UiIvYEouigNR81Q7J+4+Hw8FlTdQKEkw81LaM=
@size 131
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-4.14.1
@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 9plXUa7rW0UX5jD8TsdsOVJhqB7e2XKMt4ieNuG/kWI=
@size 209092448
@ts 1744241620
bin/.debug/
lib/.debug/libz3.so.4.14.dbg
@sha tdh9/wfPXmibH7ZQ3UCYzZrLkYmyCS95A0BWFNXgsy4=
@size 208512056
@ts 1744241642
lib/.debug/
