Package: why3

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