There is no "z3-dbg" package for this arch yet.

See archs where z3-dbg is available.