Package: z3

• 4.8.12-3.1 (main) [bookworm, trixie, sid]
• 4.8.10-1 (main) [bullseye]
• 4.4.1-1~deb10u1 (main) [buster]
• 4.4.1-1~deb9u1 (main) [stretch]