Cabal revisions of smtlib-backends-process-0.2

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

-name:               smtlib-backends-process-version:            0.2-synopsis:           An SMT-LIB backend running solvers as external processes.-description:-  This library implements an SMT-LIB backend (in the sense of the smtlib-backends-  package) using by running solvers as external processes.--license:            MIT-license-file:       LICENSE-author:             Quentin Aristote-maintainer:         quentin.aristote@tweag.io-build-type:         Simple-category:           SMT-cabal-version:      >=1.10-extra-source-files: CHANGELOG.md--source-repository head-  type:     git-  location: https://github.com/tweag/smtlib-backends-  subdir:   smtlib-backends-process--source-repository this-  type:     git-  location: https://github.com/tweag/smtlib-backends-  tag:      0.2-  subdir:   smtlib-backends-process--library-  hs-source-dirs:   src-  ghc-options:      -Wall -Wunused-packages-  exposed-modules:  SMTLIB.Backends.Process-  other-extensions: Safe-  build-depends:-      async            >=2.2.4   && <2.3-    , base             >=4.14    && <4.17.0-    , bytestring       >=0.10.12 && <0.11-    , data-default     >=0.7.1   && <0.8-    , smtlib-backends  >=0.2     && <0.3-    , typed-process    >=0.2.10  && <0.3--  default-language: Haskell2010--test-suite test-  type:             exitcode-stdio-1.0-  hs-source-dirs:   tests-  main-is:          Main.hs-  other-modules:    Examples-  ghc-options:      -threaded -Wall -Wunused-packages-  build-depends:-      base-    , bytestring-    , data-default-    , smtlib-backends-    , smtlib-backends-process-    , smtlib-backends-tests-    , tasty-    , tasty-hunit-    , typed-process--  default-language: Haskell2010+name:               smtlib-backends-process
+version:            0.2
+x-revision: 1
+synopsis:           An SMT-LIB backend running solvers as external processes.
+description:
+  This library implements an SMT-LIB backend (in the sense of the smtlib-backends
+  package) using by running solvers as external processes.
+
+license:            MIT
+license-file:       LICENSE
+author:             Quentin Aristote
+maintainer:         quentin.aristote@tweag.io
+build-type:         Simple
+category:           SMT
+cabal-version:      >=1.10
+extra-source-files: CHANGELOG.md
+
+source-repository head
+  type:     git
+  location: https://github.com/tweag/smtlib-backends
+  subdir:   smtlib-backends-process
+
+source-repository this
+  type:     git
+  location: https://github.com/tweag/smtlib-backends
+  tag:      0.2
+  subdir:   smtlib-backends-process
+
+library
+  hs-source-dirs:   src
+  ghc-options:      -Wall -Wunused-packages
+  exposed-modules:  SMTLIB.Backends.Process
+  other-extensions: Safe
+  build-depends:
+      async            >=2.2.4   && <2.3
+    , base             >=4.14    && <4.17.0
+    , bytestring       >=0.10.12 && <0.12
+    , data-default     >=0.7.1   && <0.8
+    , smtlib-backends  >=0.2     && <0.3
+    , typed-process    >=0.2.10  && <0.3
+
+  default-language: Haskell2010
+
+test-suite test
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   tests
+  main-is:          Main.hs
+  other-modules:    Examples
+  ghc-options:      -threaded -Wall -Wunused-packages
+  build-depends:
+      base
+    , bytestring
+    , data-default
+    , smtlib-backends
+    , smtlib-backends-process
+    , smtlib-backends-tests
+    , tasty
+    , tasty-hunit
+    , typed-process
+
+  default-language: Haskell2010