Package: why3

• 1.7.2-2 (main) [trixie, sid]
• 1.5.1-1 (main) [bookworm]
• 1.3.3-1 (main) [bullseye]
• 1.2.0-1 (main) [buster] *
• 0.87.3-2 (main) [stretch] *

* This package has no patches yet.
Note: packages without a link may have patches in a different format than 3.0 (quilt).