Haskell-simple-smt Download for Linux (xz, x86_64)