Package: haskell-smtlib

• 1.1-3 (main) [trixie, sid]
• 1.1-2 (main) [bookworm]
• 1.1-1 (main) [bullseye]
• 1.0.9-2 (main) [buster]
• 1.0.8-3 (main) [stretch]