@name debug-z3-5.0.0
@version 18
@comment pkgpath=debug/math/z3 ftp=yes
@arch aarch64,arm64
+DESC
@sha NYzxPJw2T8HUgW8ejtYF96lEPygx8+0JR9ulOLphqfw=
@size 130
@conflict debug-py3-z3-solver-*
@depend math/z3:=:z3-5.0.0
@wantlib c++.12.0
@wantlib c++abi.9.0
@wantlib c.103.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
bin/.debug/z3.dbg
@sha ViSVjav1abUh4sfCoRx1eGqSejg4O8yaZFckBObhLUY=
@size 248159496
@ts 1784897928
bin/.debug/
lib/.debug/libz3.so.5.0.dbg
@sha 4D6LPfSPZKgiuDcHSuq0zJiUdRxya8fMVTXEWYH7UbM=
@size 247657072
@ts 1784897991
lib/.debug/
