@name debug-z3-4.13.0
@version 12
@comment pkgpath=debug/math/z3 ftp=yes
@arch amd64
+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 jvL39I2FliXCBnbouG6Em+lZJ0GZohZo5eDuXx0g+B8=
@size 194224056
@ts 1727489864
bin/.debug/
lib/.debug/libz3.so.4.11.dbg
@sha cqVY8g+JtHH5PxtJmmfSk0IvvMEr/kQ9VzUbYrmHAyw=
@size 193684152
@ts 1727489884
lib/.debug/
