debug info for z3
debug info for z3-4.12.2p0

Maintainer: The OpenBSD ports mailing-list <ports@openbsd.org>

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