Haskell-simple-smt Download for Linux (zst, )