Cabal revisions of smtlib-backends-0.2

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

-name:               smtlib-backends-version:            0.2-synopsis:-  Low-level functions for SMT-LIB-based interaction with SMT solvers. --description:-  This library provides an extensible interface for interacting with SMT solvers-  using SMT-LIB. The smtlib-backends-process provides a backend that runs solvers-  as external processes, and the smtlib-backends-z3 package provides a backend that-  uses inlined calls to Z3's C API.--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--source-repository this-  type:     git-  location: https://github.com/tweag/smtlib-backends-  tag:      0.2--library-  hs-source-dirs:   src-  ghc-options:      -Wall -Wunused-packages-  exposed-modules:  SMTLIB.Backends-  other-extensions: Safe-  build-depends:-      base        >=4.14    && <4.17.0-    , bytestring  >=0.10.12 && <0.11--  default-language: Haskell2010+name:               smtlib-backends
+version:            0.2
+x-revision: 1
+synopsis:
+  Low-level functions for SMT-LIB-based interaction with SMT solvers. 
+
+description:
+  This library provides an extensible interface for interacting with SMT solvers
+  using SMT-LIB. The smtlib-backends-process provides a backend that runs solvers
+  as external processes, and the smtlib-backends-z3 package provides a backend that
+  uses inlined calls to Z3's C API.
+
+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
+
+source-repository this
+  type:     git
+  location: https://github.com/tweag/smtlib-backends
+  tag:      0.2
+
+library
+  hs-source-dirs:   src
+  ghc-options:      -Wall -Wunused-packages
+  exposed-modules:  SMTLIB.Backends
+  other-extensions: Safe
+  build-depends:
+      base        >=4.14    && <4.17.0
+    , bytestring  >=0.10.12 && <0.12
+
+  default-language: Haskell2010