There are currently no open bugs.

"haskell-smtlib" versions published in Ubuntu

Focal (1.0.9-2build1): universe/misc
Eoan (1.0.9-2build1): universe/misc
Disco (1.0.9-2): universe/misc
Bionic (1.0.8-3build1): universe/misc
Xenial (1.0.7-3): universe/misc