Package: haskell-presburger

• 1.3.1-9 (main) [bookworm]
• 1.3.1-8 (main) [bullseye]
• 1.3.1-6 (main) [buster]
• 1.3.1-3 (main) [stretch]