Cabal revisions of simple-smt-0.9.3

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

-name:                simple-smt-version:             0.9.3-synopsis:            A simple way to interact with an SMT solver process.-description:         A simple way to interact with an SMT solver process.-license:             BSD3-license-file:        LICENSE-author:              Iavor S. Diatchki-maintainer:          iavor.diatchki@gmail.com-category:            Math-build-type:          Simple-cabal-version:       >=1.10--extra-source-files:  CHANGES--library-  exposed-modules:     SimpleSMT-  other-extensions:    Safe, RecordWildCards-  build-depends:       base >=4.7 && <10,-                       process-  default-language:    Haskell2010--source-repository head-  type: git-  location: https://github.com/yav/simple-smt+name:                simple-smt
+version:             0.9.3
+x-revision: 1
+synopsis:            A simple way to interact with an SMT solver process.
+description:         A simple way to interact with an SMT solver process.
+license:             BSD3
+license-file:        LICENSE
+author:              Iavor S. Diatchki
+maintainer:          iavor.diatchki@gmail.com
+category:            Math
+build-type:          Simple
+cabal-version:       >=1.10
+
+extra-source-files:  CHANGES
+
+library
+  exposed-modules:     SimpleSMT
+  other-extensions:    Safe, RecordWildCards
+  build-depends:       base >=4.8 && <10,
+                       process
+  default-language:    Haskell2010
+
+source-repository head
+  type: git
+  location: https://github.com/yav/simple-smt