Package: z3

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

Note: packages without a link may have patches in a different format than 3.0 (quilt).