debug info for z3
debug info for z3-5.0.0

Maintainer: Kirill A. Korinsky <kirill@korins.ky>

WWW: https://github.com/Z3Prover/z3
