Haskell-smtlib Download for Linux (xz, x86_64)